All.lean
Nyll.ProCGroups.FoxDifferential.Completed.Continuous.ClosedGeneratedCoordinates.All
0 declarations indexed from sourceView source ↗
Module documentation
Closed-generated completed Fox coordinates
This aggregate collects the construction, equivalences, topology, and comparison formulas for closed-generated coordinates in completed Fox differential modules.
Imports4
- Nyll.ProCGroups.FoxDifferential.Completed.Continuous.ClosedGeneratedCoordinates.Basic
- Nyll.ProCGroups.FoxDifferential.Completed.Continuous.ClosedGeneratedCoordinates.Comparison
- Nyll.ProCGroups.FoxDifferential.Completed.Continuous.ClosedGeneratedCoordinates.Equiv
- Nyll.ProCGroups.FoxDifferential.Completed.Continuous.ClosedGeneratedCoordinates.Topology
This module has no indexed declarations. Its imports and full source are available here.