Code

prove nat_div_div_r#2074

Code

Merged

Alizter merged 4 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/rr/prove_nat_div_div_rAlizter/HoTT:ps/rr/prove_nat_div_div_rCopy head branch name to clipboardSep 7, 2024

+29

Commits

Commits on Sep 3, 2024

• prove nat_div_div_r

  Show description for f719cdc
  Alizter

  committed
  f719cdc

  Copy full SHA for f719cdc

Commits on Sep 4, 2024

• add variant of nat_div_div_r without assumption

  Show description for f21db89
  Alizter

  committed
  f21db89

  Copy full SHA for f21db89

Commits on Sep 6, 2024

• clarify comment

  Show description for b451138
  Alizter

  committed
  b451138

  Copy full SHA for b451138

• Update theories/Spaces/Nat/Division.v

  Show description for 101525c
  

  Alizter

  and

  jdchristensen

  authored
  101525c

  Copy full SHA for 101525c