Library Stdlib.Init.Notations

From Corelib Require Export Notations.