Commit 2023-01-05 21:13 987029cb

View on Github →

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

Estimated changes

added theorem List.TFAE.out
added def List.TFAE
added theorem List.tfae_cons_cons
added theorem List.tfae_cons_of_mem
added theorem List.tfae_nil
added theorem List.tfae_of_cycle
added theorem List.tfae_of_forall
added theorem List.tfae_singleton