Nuprl Definition : trivial-partition

trivial-partition(I) ==  []


Definitions occuring in Statement :  nil: []
Definitions occuring in definition :  nil: []
FDL editor aliases :  trivial-partition trivial-partition
Latex:
trivial-partition(I)  ==    []


Date html generated: 2016_05_18-AM-08_59_37
Last ObjectModification: 2015_09_23-AM-09_09_23

Theory : reals


Home Index