Theorem Trivialization.proj_surjOn_baseSet

Modification history