Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.Sized.uvCompression
Modification history
2023-10-17 07:52
Mathlib/Combinatorics/SetFamily/Compression/UV.lean
chore: Fix decidability issues in UV-compression (#7708) …
Added
Set.Sized.uvCompression
View on Github →