Commit 2025-03-29 16:54 45c1dbdf
View on Github →chore(Order/Interval): add Fintype.card_Ixx
(#23422)
Replace *.card_fintypeI*
lemmas with generic Fintype.card_I*
lemmas.
chore(Order/Interval): add Fintype.card_Ixx
(#23422)
Replace *.card_fintypeI*
lemmas with generic Fintype.card_I*
lemmas.