Nuprl Definition : xxanti_sym

(!cond_cons(xxbasic; basic)):: anti_sym(T;R) ==  AntiSym(T;x,y.R y)



Definitions occuring in Statement :  anti_sym: AntiSym(T;x,y.R[x; y]) apply: a
Definitions occuring in definition :  anti_sym: AntiSym(T;x,y.R[x; y]) apply: a

Latex:
(!cond\_cons(xxbasic;  basic))::  anti\_sym(T;R)  ==    AntiSym(T;x,y.R  x  y)



Date html generated: 2016_05_15-PM-00_01_02
Last ObjectModification: 2015_09_23-AM-06_23_40

Theory : gen_algebra_1


Home Index