equiv-ax-=

Subcontext. Axioms for equivalence relations

Definitions:

Name	Sym	Comment
df-neq