Theorem Filter.ker_pure

Modification history