emrg: a refuted conclusion is replaced where it stands, not annotated - #2787

emrg: a refuted conclusion is replaced where it stands, not annotated#2787

argszero merged 1 commit into

masterargszero/emrg:masterfrom

fix/a-refuted-conclusion-is-replaced-in-placeargszero/emrg:fix/a-refuted-conclusion-is-replaced-in-placeCopy head branch name to clipboard