Theorem Trivialization.map_proj_nhds

Modification history