Nuprl Definition : xxirrefl
(basic):: irrefl(T;R) == Irrefl(T;x,y.R x y)
Definitions occuring in Statement :
irrefl: Irrefl(T;x,y.E[x; y]),
apply: f a
Definitions occuring in definition :
irrefl: Irrefl(T;x,y.E[x; y]),
apply: f a
Latex:
(basic):: irrefl(T;R) == Irrefl(T;x,y.R x y)
Date html generated:
2016_05_15-PM-00_00_59
Last ObjectModification:
2015_09_23-AM-06_23_39
Theory : gen_algebra_1
Home
Index