feat: revision of Nat/Int lemmas #102
leanprover-community-botawaiting-mathlib.yml
on: pull_request
check-awaiting-mathlib
1s
Annotations
1 error
|
check-awaiting-mathlib
PR is marked "awaiting-mathlib" but "builds-mathlib" label has not been applied yet by the bot
|