Nuprl Definition : geo-M

M(a;b;c) ==  e."SepOr" a b c


Definitions occuring in Statement :  apply: f a,  token: "$token",  record-select: r.x
FDL editor aliases :  geo-M
Latex:
M(a;b;c)  ==    e."SepOr"  a  b  c


Date html generated: 2020_05_20-AM-09_45_46
Last ObjectModification: 2020_01_29-PM-00_22_41

Theory : euclidean!plane!geometry


Home Index