Theorem Filter.comap_lift_eq2

Modification history