Source: ProCGroups.FoxDifferential.Completed.Continuous.Magnus
1import ProCGroups.FoxDifferential.Completed.Continuous.Magnus.ClosedGeneratedVector
2import ProCGroups.FoxDifferential.Completed.Continuous.Magnus.FiniteStageKernel
3import ProCGroups.FoxDifferential.Completed.Continuous.Magnus.KernelClosedCommutator
5/-!
6# Continuous completed Magnus theory
8This module collects the closed-generation, finite-stage kernel, and
9closed-commutator results for the completed Magnus map.
10-/