Theorem PartialEquiv.pi_symm_apply

Modification history