Commit 2025-02-05 23:02 2ae8cf3c

View on Github →

chore: rename encard_le_card to encard_le_encard (#21426)

Estimated changes

Modified Mathlib/Data/Matroid/IndepAxioms.lean

Modified Mathlib/Data/Set/Card.lean

deleted theorem Set.encard_le_card

added theorem Set.encard_le_encard