FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.System.Ring

4 sections | 4 files | 42 declarations

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

AddCommGroup

1 files | 16 declarations | 6 Theorem | 10 Instance

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

1 files | 6 declarations | 5 Theorem | 1 Definition

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

1 files | 13 declarations | 5 Theorem | 8 Instance

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

1 files | 7 declarations | 7 Theorem

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