Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-03 14:57
61b5888f
View on Github →
chore: remove two
by exact
leftover from porting (
#12626
) drive-by: two unused variables
Estimated changes
Modified
Mathlib/CategoryTheory/SingleObj.lean
Modified
Mathlib/RingTheory/Ideal/Operations.lean