Skip to content

Add a proof#26

Open
casavaca wants to merge 2 commits into
leanprover:mainfrom
casavaca:proof_1
Open

Add a proof#26
casavaca wants to merge 2 commits into
leanprover:mainfrom
casavaca:proof_1

Commits

Commits on Mar 20, 2024