Theorem Algebra.top_toSubsemiring

Modification history