Theorem Filter.Germ.liftPred_const_iff

Modification history