All.lean
Nyll.ProCGroups.FoxDifferential.Completed.Continuous.Magnus.All
0 declarations indexed from sourceView source ↗
Module documentation
Continuous completed Magnus theory
This module collects the closed-generation, finite-stage kernel, and closed-commutator results for the completed Magnus map.
Imports3
This module has no indexed declarations. Its imports and full source are available here.