Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-02-05 09:36
43538353
View on Github →
chore: remove unused argument (
#21393
) This was found by the linter in a different PR.
Estimated changes
Modified
Mathlib/Topology/Sheaves/SheafCondition/OpensLeCover.lean
modified
def
TopCat.Presheaf.generateEquivalenceOpensLe_functor'