Declthird_probeAxiomsfree
(n m : Nat) →
@Eq Nat (@HAdd.hAdd Nat Nat Nat (@instHAdd Nat instAddNat) n m)
(@HAdd.hAdd Nat Nat Nat (@instHAdd Nat instAddNat) m n)Arguments
| DOI | Author | Date |
|---|---|---|
| MTH.R-2026-6502 | Adhishraya Sharma | 2026-09-29T21:58:45Z |
DOIMTH.C-2026-6502
Cite
Verification
- Library
- Submission
- Statement digest
- bae6a7a20289
- First verified
- 2026-09-29T21:58:45Z