The meridional half-disc and its parabolic boundary

This module collects the definitions of lem:aniso:axis: the coordinates ((r, z), t) of the meridional half-plane and time, the classical partial derivatives CIV.dr, CIV.dz, the one-sided time derivative CIV.dtPast, and the sets CIV.axisDomain, CIV.axisClosedDomain and CIV.axisParabolicBoundary, each stated in its own file among the main-result statement files.