OAI/Analysis/SymmetricDomains/ModelAxisNegativeIsotropy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Release061.Biholomorph.coordinateField_scalar_derivative line 61
2. theorem OAI.Release061.Biholomorph.model_negative_isotropy_of_scalar_generator line 81
3. theorem OAI.Release061.Biholomorph.flatTangentialInfinitesimal_euler line 97
4. theorem OAI.Release061.Biholomorph.model_axis_negative_isotropy line 116