3 ms·This would make my proofs so much easier.by megaduck 17y agoThis would make my proofs so much easier.