Theorem Filter.Germ.const_min

Modification history