Writeup for [Split disjunctive target] #2
Description
At the moment, the writeup for "the union of two open sets is open" includes mysterious Split disjunctive target statements becuase it appears the writeup code for that move is unimplemented.
{{ message }}