Theorem Dfinsupp.filter_ne_eq_erase

Modification history