Nuprl Definition : gt
i > j == j < i
Rules referencing :
remainderBounds1,
remainderBounds2,
remainderBounds3
FDL editor aliases :
gt
Latex:
i > j == j < i
Date html generated:
2016_05_13-PM-03_04_24
Last ObjectModification:
2015_09_22-PM-05_43_41
Theory : core_1
Home
Index