Theorem LocalEquiv.pi_symm_apply

Modification history