Theorem Filter.Germ.const_lt_iff

Modification history