Theorem Filter.principal_singleton

Modification history