WikiLeanRecent changes · Proposals · Flags · Stats · About

Revision history — Characterizations of the exponential function

3 revisions, newest first.

WhenEditorAnnotationsComment
2026-07-03 08:17 UTCWikiLean Pipeline34ai-moderate:review:4c807940diff
2026-06-11 08:44 UTCWikiLean Pipeline21id backfilldiff
2026-06-10 01:12 UTCsystem21orphan refresh import