Theorem ModuleCat.Tilde.toOpen_germ

Modification history