Def decorated_equiv.simps.symm_apply

Modification history