Theorem Algebra.infₛ_toSubsemiring

Modification history