mathlib3 documentation

data.complex.orientation

The standard orientation on . #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.

This had previously been in linear_algebra.orientation, but keeping it separate results in a significant import reduction.

@[protected]
noncomputable def complex.orientation  :

The standard orientation on .

Equations