Theorem Filter.Germ.const_smul

Modification history