Theorem Filter.map₂_mk_eq_prod

Modification history