Commit 2025-03-19 20:23 86672dac

View on Github →

chore: make Set.Infinite.encard_eq simp (#23103) From my PhD (MiscYD)

Estimated changes

Modified Mathlib/Data/Set/Card.lean

modified theorem Set.Infinite.encard_eq