Theorem Subalgebra.toSubsemiring_injective

Modification history