Theorem Filter.Germ.max_def

Modification history