Theorem Filter.Germ.liftPred_const

Modification history