Library Stdlib.Init.Tauto

From Corelib Require Export Tauto.