Skip to content

refactor: let Nat.mod reduce more #1558

refactor: let Nat.mod reduce more

refactor: let Nat.mod reduce more #1558

check-prelude

succeeded May 13, 2024 in 4s