Theorem Algebra.top_toSubring

Modification history