Yamaguchi Lean 4 Library
Source: ProCGroups.FoxDifferential.Discrete.KernelBoundary
ProCGroups/FoxDifferential/Discrete/KernelBoundary/Source

Source: ProCGroups.FoxDifferential.Discrete.KernelBoundary

1import ProCGroups.FoxDifferential.Discrete.KernelBoundary.IdentityAugmentation
2import ProCGroups.FoxDifferential.Discrete.KernelBoundary.Basic
3import ProCGroups.FoxDifferential.Discrete.KernelBoundary.Homology
4import ProCGroups.FoxDifferential.Discrete.KernelBoundary.Quotient
5import ProCGroups.FoxDifferential.Discrete.KernelBoundary.MagnusKernel
6import ProCGroups.FoxDifferential.Discrete.KernelBoundary.MagnusComparison
8/-!
9# Fox differential: discrete — kernel boundary
11This aggregate re-exports the following parts of the Fox differential API:
13- `Discrete.KernelBoundary.IdentityAugmentation`
14- `Discrete.KernelBoundary.Basic`
15- `Discrete.KernelBoundary.Homology`
16- `Discrete.KernelBoundary.Quotient`
17- `Discrete.KernelBoundary.MagnusKernel`
18- `Discrete.KernelBoundary.MagnusComparison`
19-/