Theorem List.TFAE.out

Modification history

2025-03-03 14:53

Mathlib/Data/List/TFAE.lean

chore: bump toolchain to v4.18.0-rc1 (#22500) …

Modified List.TFAE.out View on Github →

2023-01-05 21:13

Mathlib/Data/List/TFAE.lean

feat: port Data.List.TFAE (#1354)

Added List.TFAE.out View on Github →