WikiLeanRecent changes · Proposals · Flags · Stats · About

Revision history — Magma (algebra)

3 revisions, newest first.

WhenEditorAnnotationsComment
2026-06-21 07:01 UTCWikiLean Pipeline49wp-update:stage0:9ccd805bdiff
2026-06-11 08:44 UTCWikiLean Pipeline49id backfilldiff
2026-06-10 01:12 UTCsystem49orphan refresh import