Theorem Subsemigroup.dense_induction

Modification history