Theorem parallelepiped_basis_eq

Modification history

2024-04-05 21:50
Mathlib/MeasureTheory/Measure/Haar/OfBasis.lean
feat: Add `Zspan.fundamentalDomain_ae_parallelepiped` (#11321) …
Added parallelepiped_basis_eqView on Github →