Theorem Filter.monotone_principal

Modification history