Yamaguchi Lean 4 Library
Source: ProCGroups.FoxDifferential.Completed.DifferentialModule.Map
ProCGroups/FoxDifferential/Completed/DifferentialModule/Map/Source

Source: ProCGroups.FoxDifferential.Completed.DifferentialModule.Map

1import ProCGroups.FoxDifferential.Completed.DifferentialModule.Map.Comap
2import ProCGroups.FoxDifferential.Completed.DifferentialModule.Map.GroupLike
3import ProCGroups.FoxDifferential.Completed.DifferentialModule.Map.Limit
4import ProCGroups.FoxDifferential.Completed.DifferentialModule.Map.Stage
5import ProCGroups.FoxDifferential.Completed.DifferentialModule.Map.Surjective
7/-!
8# Fox differential: completed — differential module — map
10This aggregate re-exports the following parts of the Fox differential API:
12- `Completed.DifferentialModule.Map.Comap`
13- `Completed.DifferentialModule.Map.GroupLike`
14- `Completed.DifferentialModule.Map.Limit`
15- `Completed.DifferentialModule.Map.Stage`
16- `Completed.DifferentialModule.Map.Surjective`
17-/