Theorem TwoSidedIdeal.rel_iff

Modification history