Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-11-01 17:37
6a3f7070
View on Github →
feat: product of graphs of functions (
#18413
) From PFR
Estimated changes
Modified
Mathlib/Data/Set/Function.lean
added
theorem
Set.graphOn_prod_graphOn
added
theorem
Set.graphOn_prod_prodMap