Code

use Quotient in Ordinals.v#1811

Code

Merged

Alizter merged 1 commit intoHoTT:masterHoTT/Coq-HoTT:masterfrom Alizter:ps/branch/use_quotient_in_ordinals_vAlizter/HoTT:ps/branch/use_quotient_in_ordinals_vCopy head branch name to clipboardJan 13, 2024

+10-11

Commits

Commits on Jan 12, 2024

• use Quotient in Ordinals.v

  Show description for c35e4ed
  Alizter

  committed
  c35e4ed

  Copy full SHA for c35e4ed