The standing hypotheses of the anisotropic theorems

This module collects the hypothesis predicates CIV.AnisotropicBounds, CIV.ForceC2Bounded, CIV.ForceSpatiallyAnalytic, CIV.GlobalEnergyClass and CIV.BoundedNearOrigin of eq:aniso:bounds, eq:interior:force:c-two, eq:interior:force:analytic, eq:interior:energy:class and eq:interior:regular, each of which is stated once in its own file under CIV.Statements.