Theorem Set.monotone_setOf

Modification history