Library Waterproof.Notations

Require Export Chains.
Require Export Notations.Common.
Export Notations.Common.Quantifiers.
Require Export Notations.Reals.