Theorem LinearMap.det_prodMap

Modification history

2025-03-07 10:40
Mathlib/LinearAlgebra/Determinant.lean
feat(NumberField/MixedSpace): add polar coordinates change of variables (part 1) (#22120) …
Added LinearMap.det_prodMapView on Github →