Theorem Set.powerset_mono

Modification history