Def Equiv.Simps.apply

Modification history