Def equivOfPiLEquivPi

Modification history

2024-03-21 14:51

Mathlib/LinearAlgebra/Determinant.lean

chore(LinearAlgebra): fix Fintype/Finite assumptions (#11565) …

Modified equivOfPiLEquivPi View on Github →

2023-08-10 19:52

Mathlib/LinearAlgebra/Determinant.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified equivOfPiLEquivPi View on Github →

2023-05-02 10:05

Mathlib/LinearAlgebra/Determinant.lean

feat: port LinearAlgebra.Determinant (#3694)

Added equivOfPiLEquivPi View on Github →