Theorem Subalgebra.coe_toSubsemiring

Modification history