Proof compression: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

13 February 2024

  • curprev 00:2200:22, 13 February 2024 imported>BD2412 m 6,250 bytes +6,250 clean up spacing around commas and other punctuation fixes, replaced: ,b → , b (8), ,c → , c (3), ,p → , p (5), ; → ; (4)
Retrieved from "https://en.wiki.beta.math.wmflabs.org/wiki/Proof_compression"