Theorem not_finite

Modification history

2023-08-10 19:52

Mathlib/Data/Finite/Defs.lean

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

Modified not_finite View on Github →

2022-11-25 20:16

Mathlib/Data/Finite/Defs.lean

feat: port data.finite.defs (#698) …

Added not_finite View on Github →