Theorem Filter.principal_empty

Modification history