Theorem Subalgebra.toSubsemiring_subtype

Modification history