Nuprl Definition : homeo-inv

homeo-inv(h) ==  let f,g = h in <g, f>


Definitions occuring in Statement :  spread: spread def,  pair: <a, b>
FDL editor aliases :  homeo-inv
Latex:
homeo-inv(h)  ==    let  f,g  =  h  in  <g,  f>


Date html generated: 2020_05_20-AM-11_41_31
Last ObjectModification: 2019_11_12-AM-09_49_23

Theory : reals


Home Index