WikiLeanRecent changes · Proposals · Flags · Stats · About

Revision history — Discrete mathematics

4 revisions, newest first.

WhenEditorAnnotationsComment
2026-07-16 10:08 UTCWikiLean Pipeline28decl-sweep:declsweep-1783024443diff
2026-06-22 07:00 UTCWikiLean Pipeline28wp-update:stage0:ae63c08fdiff
2026-06-11 08:44 UTCWikiLean Pipeline28id backfilldiff
2026-05-29 09:45 UTCsystem28seed import