Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.image2_image2_image2_comm
Modification history
2023-03-19 19:21
Mathlib/Data/Set/NAry.lean
feat: `Set.image2_image2_image2_comm` (#2992) …
Added
Set.image2_image2_image2_comm
View on Github →