Skip to content

chore: add comments to Imp.lean#11

Closed
wkrozowski wants to merge 3 commits intomainfrom
wojciech/sequences_missing_lemmas
Closed

chore: add comments to Imp.lean#11
wkrozowski wants to merge 3 commits intomainfrom
wojciech/sequences_missing_lemmas

Commits

Commits on Jul 2, 2025

Commits on Jul 17, 2025