Documentation

LeanPool.CIVAxisymmetric.Setting.Derivatives

Classical spatial derivatives in the meridional and multi-index forms #

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