Code

nat: least common multiple#2207

Code

Open

Alizter wants to merge 7 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/nat__least_common_multipleAlizter/HoTT:ps/rr/nat__least_common_multipleCopy head branch name to clipboard

Commits

Commits on Jan 23, 2025

• nat: least common multiple

  Show description for 8a9c38f
  Alizter

  committed
  8a9c38f

  Copy full SHA for 8a9c38f

Commits on Feb 17, 2025

• Nat/Division: minor simplifications/corrections

  jdchristensen

  committed
  3c4a452

  Copy full SHA for 3c4a452

Commits on Feb 18, 2025

• improve looping lt_succ_r

  Show description for d0aef42
  Alizter

  committed
  d0aef42

  Copy full SHA for d0aef42

• FinNat: clarify why choice of proof of inequality is important

  jdchristensen

  committed
  31409c9

  Copy full SHA for 31409c9

Commits on Feb 24, 2025

• remove redundant instances

  Show description for f6e805a
  Alizter

  committed
  f6e805a

  Copy full SHA for f6e805a

• rename nat_divides_l_mul

  Show description for 90d8628
  Alizter

  committed
  90d8628

  Copy full SHA for 90d8628

• rename nat_divides_{l,r}_div

  Show description for b96878d
  Alizter

  committed
  b96878d

  Copy full SHA for b96878d