Theorem Subsemigroup.closure_induction₂

Modification history