„Metamath“ – Versionsgeschichte

aus Wikipedia, der freien Enzyklopädie

Alte Versionen des Artikels:

  • (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version
  • Uhrzeit und Datum = Artikel zu dieser Zeit, Benutzername bzw. IP-Adresse des Bearbeiters, K = Kleine Änderung
  • (123 Bytes) = GröVorlage:SSe der Version; (+543)/(−792) =‎ Änderung der SeitengröVorlage:SSe in Bytes gegenüber der vorherigen Version
  • Um Unterschiede zwischen zwei bestimmten Versionen zu sehen, die Radiobuttons  markieren und auf „Gewählte Versionen vergleichen“ klicken

    21. Januar 2020

    • AktuellVorherige 18:5718:57, 21. Jan. 2020imported>Douira100(2093133) 6.580 Bytes +6.580 Bytes Die Anzahl der auf metamath bewiesenen theoreme wurde auf 23000 erhöht (der einzelnachweis ist immernoch der gleiche) Markierung: Visuelle Bearbeitung