Commit 2023-03-16 13:37 d7d8b152

View on Github →

refactor: Change the definition of Num.ofNat' (#2782)

Estimated changes

modified def Num.ofNat'