Ferramentas do usuário
dica:unitaryboolean
Tome $\varphi(x)$ = sup $b[a^{-1}[D_x]]$, onde $D_x = \downarrow x \cap a[\mathbb{P}]$.
dica/unitaryboolean.txt · Última modificação: 2020/11/06 16:05 (edição externa)
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
