Mostra la font per a Condicional extensional
← Condicional extensional
No teniu permís per a modificar aquesta pàgina, pel motiu següent:
Podeu veure i copiar el codi font d’aquesta pàgina.
Aquesta pàgina fa servir les següents plantilles:
Torna cap a Condicional extensional.