Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-12 23:48
a6948377
View on Github →
chore(QuadraticForm):
Fintype -> Finite
,
DecidableEq
(
#10462
)
Estimated changes
Modified
Mathlib/LinearAlgebra/QuadraticForm/Basic.lean
modified
theorem
QuadraticForm.basisRepr_apply
Modified
Mathlib/LinearAlgebra/QuadraticForm/Complex.lean
Modified
Mathlib/LinearAlgebra/QuadraticForm/Real.lean