Nuprl Definition : dest-prec

dest-prec(x) ==  x


FDL editor aliases :  dest-prec
Latex:
dest-prec(x)  ==    x


Date html generated: 2019_06_20-PM-02_05_16
Last ObjectModification: 2019_02_22-PM-02_56_34

Theory : tuples


Home Index