Theorem Fintype.card_lex

Modification history

2023-08-10 19:52

Mathlib/Data/Fintype/Card.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Fintype.card_lex View on Github →

2023-01-19 11:44

Mathlib/Data/Fintype/Card.lean

feat: port Data.Fintype.Card (#1668)

Added Fintype.card_lex View on Github →