Def Imo2019Q2.someOrientation

Modification history

2026-08-12 20:57
Archive/Imo/Imo2019Q2.lean
refactor(LinearAlgebra/Orientation,LinearAlgebra/AffineSpace/FiniteDimensional): instances for arbitrary orientations (#39696) …
Deleted Imo2019Q2.someOrientationView on Github →
2024-08-08 10:31
Archive/Imo/Imo2019Q2.lean
chore: backports for leanprover/lean4#4814 (part 36) (#15612)
Modified Imo2019Q2.someOrientationView on Github →
2023-06-29 05:58
Archive/Imo/Imo2019Q2.lean
feat: port Archive.Imo.Imo2019Q2 (#5573)
Added Imo2019Q2.someOrientationView on Github →