Documentation

LeanPool.CIVAxisymmetric.Setting.Cylinder

The unit parabolic cylinder and the meridional plane #

This module collects the definitions CIV.unitCylinder and CIV.meridional, each stated in its own file among the main-result statement files.