Theorem Filter.ker_eq_univ

Modification history