Nuprl Definition : binrel_ap
a [r] b == r a b
Definitions occuring in Statement :
apply: f a
Definitions occuring in definition :
apply: f a
Latex:
a [r] b == r a b
Date html generated:
2016_05_15-PM-00_00_37
Last ObjectModification:
2015_09_23-AM-06_23_36
Theory : gen_algebra_1
Home
Index