Skip to content

[ refactor ] Change definition of Data.Nat.Base._≤‴_ (#2518) #4

[ refactor ] Change definition of Data.Nat.Base._≤‴_ (#2518)

[ refactor ] Change definition of Data.Nat.Base._≤‴_ (#2518) #4