Theorem Sym2.Rel.is_equivalence

Modification history