Theorem Pretrivialization.symm_proj_apply

Modification history