Nuprl Definition : degeneracy-map

degeneracy-map(f) ==  f


FDL editor aliases :  degeneracy-map
Latex:
degeneracy-map(f)  ==    f


Date html generated: 2016_05_20-AM-09_31_19
Last ObjectModification: 2015_09_23-AM-09_29_36

Theory : cubical!sets


Home Index