Nuprl Definition : free-dl-type
free-dl-type(X) == as,bs:X List List//dlattice-eq(X;as;bs)
Definitions occuring in Statement :
dlattice-eq: dlattice-eq(X;as;bs),
list: T List,
quotient: x,y:A//B[x; y]
Definitions occuring in definition :
quotient: x,y:A//B[x; y],
list: T List,
dlattice-eq: dlattice-eq(X;as;bs)
FDL editor aliases :
free-dl-type
Latex:
free-dl-type(X) == as,bs:X List List//dlattice-eq(X;as;bs)
Date html generated:
2020_05_20-AM-08_26_45
Last ObjectModification:
2017_01_21-PM-04_10_51
Theory : lattices
Home
Index