Theorem Submonoid.subsemiringClosure_eq_closure

Modification history