Nuprl Definition : funset
A ⟶ B == Πa:A.B
Definitions occuring in Statement :
Piset: Πa:A.B[a]
Definitions occuring in definition :
Piset: Πa:A.B[a]
FDL editor aliases :
funset
Latex:
A {}\mrightarrow{} B == \mPi{}a:A.B
Date html generated:
2018_05_29-PM-01_51_02
Last ObjectModification:
2018_05_28-AM-10_23_45
Theory : constructive!set!theory
Home
Index