Theorem Subsemigroup.closure_induction'

Modification history