Nuprl Definition : eq_mset
eq_mset{s}(a,b) == a ≡b b
Definitions occuring in Statement :
bpermr: as ≡b bs
Definitions occuring in definition :
bpermr: as ≡b bs
Latex:
eq\_mset\{s\}(a,b) == a \mequiv{}\msubb{} b
Date html generated:
2016_05_16-AM-07_46_52
Last ObjectModification:
2015_09_23-AM-09_52_02
Theory : mset
Home
Index