Theorem Finset.eraseNone_eq_bunionᵢ

Modification history