WikiLeanRecent changes · Proposals · Flags · Stats · About

Revision history — Five lemma

3 revisions, newest first.

WhenEditorAnnotationsComment
2026-07-18 15:58 UTCWikiLean Pipeline8wp-update:stage0:e5754acddiff
2026-06-11 08:44 UTCWikiLean Pipeline8id backfilldiff
2026-06-10 01:12 UTCsystem8orphan refresh import