Theorem Filter.Germ.inductionOn₂

Modification history