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

FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower

6 sections | 29 files | 208 declarations

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

Augmentation

1 files | 3 declarations | 2 Theorem | 1 Definition
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Augmentation.

Basic

5 files | 19 declarations | 12 Theorem | 4 Definition | 3 Abbreviation
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Basic.

Coeff

5 files | 41 declarations | 20 Theorem | 1 Definition | 2 Abbreviation | 18 Instance
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Coefficient.

InClass

10 files | 76 declarations | 44 Theorem | 11 Definition | 3 Abbreviation | 18 Instance
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Within a Class.

Module

1 files | 13 declarations | 7 Theorem | 1 Definition | 5 Instance
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / Module.

System

7 files | 56 declarations | 31 Theorem | 3 Definition | 3 Abbreviation | 19 Instance
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / System.