Theorem Filter.map_lift'_eq2

Modification history