2 ms·
Sometimes it seems like people writing Coq are trying to do this. Would it kill you to use variables besides n and x with subscripts?
by Analemma_ 6y ago
Sometimes it seems like people writing Coq are trying to do this. Would it kill you to use variables besides n and x with subscripts?