Yamaguchi Lean 4 Library
FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.InClass
FoxDifferential/Completed/CoefficientRings/CompletedGroupAlgebraPrimePower/InClass

FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.InClass

3 sections | 9 files | 76 declarations

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

Augmentation

1 files | 15 declarations | 6 Theorem | 4 Definition | 1 Abbreviation | 4 Instance
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Within a Class / Augmentation.

Map

1 files | 7 declarations | 5 Theorem | 2 Definition
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Within a Class / Map.

System

7 files | 54 declarations | 33 Theorem | 5 Definition | 2 Abbreviation | 14 Instance
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Within a Class / System.