Theorem Trivialization.symm_apply

Modification history