Theorem LinearEquiv.skewSwap_apply
Modification history
2025-09-12 23:06
Mathlib/LinearAlgebra/Prod.lean
feat(Analysis/InnerProductSpace/LinearPMap): the adjoint is closed (#29595) …
Added LinearEquiv.skewSwap_applyView on Github →2023-10-17 14:33
Mathlib/LinearAlgebra/Prod.lean
Revert "chore: revert #7703 (#7710)" …
Deleted LinearEquiv.skewSwap_applyView on Github →2023-10-16 19:01
Mathlib/LinearAlgebra/Prod.lean
chore: revert #7703 (#7710) …
Added LinearEquiv.skewSwap_applyView on Github →