FoxDifferential.Common

6 sections | 6 files | 136 declarations

This module provides the common Fox differential definitions and identities.

CrossedDifferential

1 files | 22 declarations | 20 Theorem | 2 Definition

This module develops Fox differentials and completed Fox coordinates for free, profinite, and pro-\(C\) group constructions.

1 files | 30 declarations | 19 Theorem | 9 Definition | 2 Abbreviation

This module develops Fox differentials and completed Fox coordinates for free, profinite, and pro-\(C\) group constructions.

1 files | 9 declarations | 7 Theorem | 2 Definition

This module develops Fox differentials and completed Fox coordinates for free, profinite, and pro-\(C\) group constructions.

1 files | 10 declarations | 8 Theorem | 2 Definition

This module develops Fox differentials and completed Fox coordinates for free, profinite, and pro-\(C\) group constructions.

This module develops Fox differentials and completed Fox coordinates for free, profinite, and pro-\(C\) group constructions.

1 files | 13 declarations | 10 Theorem | 3 Definition

This module develops Fox differentials and completed Fox coordinates for free, profinite, and pro-\(C\) group constructions.