`OAI/Geometry/CAT0Fillings/Rearrangement/`

59 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

Distribution.lean 13 declarations
Energy.lean 4 declarations
Euclidean.lean 9 declarations
Gradient.lean 7 declarations
Inverse.lean 16 declarations
Sobolev.lean 5 declarations
Substitution.lean 5 declarations