Theorem Filter.mem_infᵢ_finset

Modification history