Theorem Submonoid.closure_eq_mrange

Modification history