i.e. all `big_op` lemmas that have a `TCOr` side condition.
Attach a file by drag & drop or click to upload