Theorem Subalgebra.equivOfEq_trans

Modification history