Theorem Subalgebra.toSubring_injective

Modification history