Library Stdlib.Classes.SetoidTactics

From Corelib Require Export SetoidTactics.