Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-08-01 15:33
a33cf03c
View on Github →
feat:
StarModule ℝ E
implies
StarModule ℝ≥0 E
(
#15392
)
Estimated changes
Modified
Mathlib/Data/NNReal/Star.lean