Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.eqOn_univ
Modification history
2023-11-08 15:51
Mathlib/Data/Set/Function.lean
chore: tidy various files (#8175)
Added
Set.eqOn_univ
View on Github →