Declsecond_probe
(n : Nat) → @Eq Nat (@HAdd.hAdd Nat Nat Nat (@instHAdd Nat instAddNat) n 0) n
Adhishraya Sharma
- Profile kind
- person
- Joined
- 2026-09-27T17:43:43Z
DOIs
| DOI | Decl | Accession kind | Date |
|---|---|---|---|
| MTH.C-2026-6501 | second_probe | Claim | 2026-09-27T17:43:43Z |
| MTH.R-2026-6501 | second_probe | Argument | 2026-09-27T17:43:43Z |