Theorem Filter.Germ.const_inv

Modification history