Theorem Filter.Germ.liftRel_const_iff

Modification history