Theorem Filter.map_infᵢ_eq

Modification history