Theorem Filter.Germ.liftRel_const

Modification history