Theorem Set.IsPWO.submonoid_closure

Modification history