Theorem Orientation.map_eq_iff_det_pos

Modification history

2024-08-09 00:58

Mathlib/LinearAlgebra/Orientation.lean

chore: backports for leanprover/lean4#4814 (part 24) (#15520)

Modified Orientation.map_eq_iff_det_pos View on Github →

2023-05-08 05:55

Mathlib/LinearAlgebra/Orientation.lean

feat port: LinearAlgebra.Orientation (#3777) …

Added Orientation.map_eq_iff_det_pos View on Github →