OAI/Analysis/AffineBernstein/CapChangeOfVariables.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AffineBernstein.graphAmbientBasis line 11
2. lemma OAI.AffineBernstein.determinant_triangular line 14
3. lemma OAI.AffineBernstein.det_verticalShear line 34
4. lemma OAI.AffineBernstein.affineAreaDensity_cleGraphPullback line 50
5. lemma OAI.AffineBernstein.integral_affine_base_preimage line 64
6. lemma OAI.AffineBernstein.affine_area_pullback_integral line 81