Theorem Filter.Germ.const_max

Modification history