Theorem Set.finite_univ

Modification history

2026-01-21 17:08
Mathlib/Data/Set/Finite/Basic.lean
feat(Data/Set/Finite): make simp more powerful (#33911) …
Modified Set.finite_univView on Github →
2023-01-21 14:50
Mathlib/Data/Set/Finite.lean
feat: port Data.Set.Finite (#1734)
Added Set.finite_univView on Github →