NYLL
Module

All.lean

Nyll.ProCGroups.FoxDifferential.Completed.FreeProC.All
0 declarations indexed from sourceView source ↗

Module documentation

Fox differential: completed — free pro-\(C\)

This aggregate re-exports the following parts of the Fox differential API:

  • Completed.FreeProC.BifilteredCoefficientStageProjection
  • Completed.FreeProC.BifilteredStageProjection
  • Completed.FreeProC.BifilteredSystemStageProjection
  • Completed.FreeProC.CofinalQuotientKernelBasis
  • Completed.FreeProC.CoordinateStageProjection
  • Completed.FreeProC.Density
  • Completed.FreeProC.FiniteQuotientStages
  • Completed.FreeProC.PrimePowerStageProjection
  • Completed.FreeProC.ProCIntegerBifilteredStageProjection
  • Completed.FreeProC.ProCIntegerBifilteredStageRightProjection
  • Completed.FreeProC.ProCIntegerStageCoeffProjection
  • Completed.FreeProC.QuotientKernelBasis
  • Completed.FreeProC.RelationSubmoduleApproximation
  • Completed.FreeProC.SemidirectKernelBasis
  • Completed.FreeProC.SemidirectLift
  • Completed.FreeProC.StageApproximation
  • Completed.FreeProC.StageProjection
  • Completed.FreeProC.Uniqueness
  • Completed.FreeProC.RelationReflection
  • Completed.FreeProC.NaturalTopology
  • Completed.FreeProC.Coordinates
  • Completed.FreeProC.FundamentalFormula
Imports22
Imported by1

Declarations

This module has no indexed declarations. Its imports and full source are available here.

Statements and documentation are read from the Lean source at the revision shown. Source entries are not a measure of mathematical completeness.