Skip to content

clean up util/minmax.v

Sergey Bozhko requested to merge sbozhko/rt-proofs:clean_up into master
  • add a comment to each lemma
  • remove lemma bigmax_sup_seq
  • clean up some proofs

Merge request reports