Commit 2026-03-18 15:17 cd714113

View on Github →

feat(Analysis/Lp): simp lemma for LinearMap.det and toLpLin (#36661) Analog to LinearMap.det_toLin'

Estimated changes

added theorem LinearMap.det_toLpLin