Theorem Subalgebra.equivOfEq_symm

Modification history