Theorem Subalgebra.toSubsemiring_inj

Modification history