Theorem Submonoid.closure_induction_right

Modification history