Theorem Filter.principal_mono

Modification history