Theorem Set.monotone_powerset

Modification history