Def ManualProjectionNames.Equiv.simps.symm_apply

Modification history