Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-04-15 07:00
f4ae6b85
View on Github →
chore: golf copy of Pi.single (
#24061
)
Estimated changes
Modified
Mathlib/LinearAlgebra/AffineSpace/Combination.lean