Commit 2022-03-08 08:13 f7bb4442

View on Github →

chore: bump to nightly-2022-03-07 (#219)

Estimated changes

deleted def List.mem
deleted theorem List.mem_nil
added theorem List.not_mem_nil
modified theorem List.ball_nil
modified theorem List.eq_or_mem_of_mem_cons
modified theorem List.mem_cons_eq
modified theorem List.mem_cons_of_mem
modified theorem List.mem_cons_self
modified theorem List.mem_nil_iff
modified theorem List.not_bex_nil
deleted theorem List.not_mem_nil
modified theorem List.subset_cons
deleted theorem if_t_t