Theorem Trivialization.preimageSingletonHomeomorph_apply

Modification history