Theorem Filter.Germ.coe_pow

Modification history