feat: Function.funext_iff and Sum.elim_eq_iff (#715) #310
kim-em
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nightly_merge_master.yml
on: push
merge-to-nightly
4s