Orientation

📁 Source: Mathlib/LinearAlgebra/Complex/Orientation.lean

Statistics

Metric	Count
Definitions orientation	1
Theorems	0
Total	1

Complex

Definitions

Name	Category	Theorems
orientation 📖	CompOp	5 math math: kahler, areaForm, oangle, rightAngleRotation, rotation

---

← Back to Index