Nuprl Definition : fl0
(x=0) == (x=0)
Definitions occuring in Statement :
face-lattice0: (x=0)
Definitions occuring in definition :
face-lattice0: (x=0)
FDL editor aliases :
fl0
Latex:
(x=0) == (x=0)
Date html generated:
2016_05_18-PM-00_09_27
Last ObjectModification:
2015_10_14-PM-09_48_48
Theory : cubical!type!theory
Home
Index