Theorem Set.nontrivial_mono

Modification history