Theorem Subalgebra.toSubring_inj

Modification history