WikiLeanRecent changes · Proposals · Flags · Stats · About

Revision history — Affine geometry

3 revisions, newest first.

WhenEditorAnnotationsComment
2026-07-16 09:06 UTCWikiLean Pipeline25decl-sweep:declsweep-1783024443diff
2026-06-11 08:44 UTCWikiLean Pipeline25id backfilldiff
2026-06-10 01:12 UTCsystem25orphan refresh import