Add case_match eqn: tactic for naming hypotheses generated by case_match
Passed
Michael Sammler
created pipeline for commit
a6f215a9
, finished
Related merge request !388 to merge ci/msammler/case_match_eqn
7 minutes 6 seconds, queued for 493 seconds