Nuprl Definition : fl1
(x=1) == (x=1)
Definitions occuring in Statement :
face-lattice1: (x=1)
Definitions occuring in definition :
face-lattice1: (x=1)
FDL editor aliases :
fl1
Latex:
(x=1) == (x=1)
Date html generated:
2016_05_18-PM-00_09_33
Last ObjectModification:
2015_10_14-PM-09_51_32
Theory : cubical!type!theory
Home
Index