Theorem LinearMap.isLeftQuasiInverse_iff_isRightQuasiInverse_swap

Modification history

2026-06-25 09:00
Mathlib/Algebra/Module/LinearMap/FiniteRange.lean
feat: define LinearMap.IsQuasiInverse (#39475) …
Added LinearMap.isLeftQuasiInverse_iff_isRightQuasiInverse_swapView on Github →