Rotations about the axis and the angular mean

This module collects the definitions CIV.rotZ, CIV.rotField, CIV.angularMean, CIV.angularMeanScalar and CIV.IsAxisymmetricOn of eq:interior:average and sec:aniso:notation, each stated in its own file among the main-result statement files.