Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-10 19:51
ad65c15d
View on Github →
chore: Golf
AffineSubspace.convex
(
#8322
)
Estimated changes
Modified
Mathlib/Analysis/Convex/Basic.lean
modified
theorem
AffineSubspace.convex