Theorem Filter.Germ.liftPred_coe

Modification history