Theorem Set.Infinite.not_finite

Modification history

2026-01-21 17:08
Mathlib/Data/Finite/Defs.lean
feat(Data/Set/Finite): make simp more powerful (#33911) …
Added Set.Infinite.not_finiteView on Github →