Skip to content

feat: use Nat.repeat for the definition of BIBase.laterN#520

Merged
lzy0505 merged 1 commit into
leanprover-community:masterfrom
ISTA-PLV:NatRepeatLaterN
Jul 16, 2026
Merged

feat: use Nat.repeat for the definition of BIBase.laterN#520
lzy0505 merged 1 commit into
leanprover-community:masterfrom
ISTA-PLV:NatRepeatLaterN

Use `Nat.repeat` for the definition of `BIBase.laterN`

a994cbc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 16, 2026 in 2m 35s