Theorem Filter.map_lift'_eq

Modification history