Theorem Algebra.inf_toSubsemiring

Modification history