FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Coeff

4 sections | 4 files | 41 declarations

Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Coefficient.

AddCommGroup

1 files | 16 declarations | 6 Theorem | 10 Instance

Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Coefficient / Additive Commutative Group.

1 files | 9 declarations | 9 Theorem

Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Coefficient / Projection.

1 files | 13 declarations | 5 Theorem | 8 Instance

Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Coefficient / Ring.

1 files | 3 declarations | 1 Definition | 2 Abbreviation

Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Coefficient / System.