Ferramentas do usuário
dica:2b
$\displaystyle [\![ \forall y \in \dot{x} \varphi(y) ]\!] = \inf_{t}[\![ t \in \dot{x} \Longrightarrow \varphi(t) ]\!]$
dica/2b.txt · Última modificação: 2021/04/30 12:18 por hugo
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
