Theorem Filter.Germ.const_pow

Modification history