Library Stdlib.Setoids.Setoid

From Corelib Require Export Setoid.