Library Stdlib.Classes.Equivalence

From Corelib Require Export Equivalence.