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

FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.System

2 sections | 6 files | 56 declarations

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

Basic

1 files | 14 declarations | 8 Theorem | 2 Definition | 3 Abbreviation | 1 Instance
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / System / Basic.

Ring

5 files | 42 declarations | 23 Theorem | 1 Definition | 18 Instance
Fox Differential / Completed / Coefficient Rings / Prime-Power Completed Group Algebra / System / Ring.