Open JoD opened 4 years ago
"Find-and-replace" until fixpoint the following substrings in the proof: _s_s -> _s _1_d -> _ _1_* -> _ (underscores represent whitespace).
_s_s
_s
_1_d
_
_1_*
Especially the latter one can make my proofs a couple of percentage smaller.
"Find-and-replace" until fixpoint the following substrings in the proof:
_s_s->_s_1_d->__1_*->_(underscores represent whitespace).Especially the latter one can make my proofs a couple of percentage smaller.