Def affine_equiv.simps.symm_apply

Modification history