Theorem Pretrivialization.preimage_symm_proj_inter

Modification history