Theorem Fintype.card_of_isEmpty

Modification history

2024-02-13 12:46

Mathlib/Data/Fintype/Card.lean

chore: tidy various files (#10453)

Deleted Fintype.card_of_isEmpty View on Github →

2023-12-18 10:05

Mathlib/Data/Fintype/Card.lean

feat: demote the instance Fintype.ofIsEmpty to a def (#8816) …

Modified Fintype.card_of_isEmpty View on Github →

2023-01-23 12:02

Mathlib/Data/Fintype/Card.lean

chore: tidy various files (#1693)

Added Fintype.card_of_isEmpty View on Github →