Code

redefine collinear & lemmas & naming#295

Code

Open

FR-vdash-bot wants to merge 14 commits intojjdishere:masterjjdishere/EG:masterfrom FR-vdash-bot:redefine_collinearFR-vdash-bot/EG:redefine_collinearCopy head branch name to clipboard

+985-1,057

Commits

Commits on Jan 17, 2024

• init

  FR-vdash-bot

  committed
  2f827da

  Copy full SHA for 2f827da

• basic lemmas for parallel

  FR-vdash-bot

  committed
  b330ca0

  Copy full SHA for b330ca0

• parallel -> Parallel

  FR-vdash-bot

  committed
  0ba22e3

  Copy full SHA for 0ba22e3

• perpendicular -> Perpendicular

  FR-vdash-bot

  committed
  d9e5845

  Copy full SHA for d9e5845

Commits on Jan 18, 2024

• collinear & wedge lemmas

  FR-vdash-bot

  committed
  c262b75

  Copy full SHA for c262b75

• dsimp lemmas & pp_dot & PtNe instance

  FR-vdash-bot

  committed
  28cc757

  Copy full SHA for 28cc757

• naming & lemmas

  FR-vdash-bot

  committed
  02b014c

  Copy full SHA for 02b014c

• fix

  FR-vdash-bot

  committed
  94d2613

  Copy full SHA for 94d2613

• correct name

  FR-vdash-bot

  committed
  701bde2

  Copy full SHA for 701bde2

• fix name

  FR-vdash-bot

  committed
  e2122e1

  Copy full SHA for e2122e1

• fix

  FR-vdash-bot

  committed
  91d6ae0

  Copy full SHA for 91d6ae0

• fix

  FR-vdash-bot

  committed
  14f9a9a

  Copy full SHA for 14f9a9a

• implicit

  FR-vdash-bot

  committed
  f72be2f

  Copy full SHA for f72be2f

• fix

  FR-vdash-bot

  committed
  cdeedfe

  Copy full SHA for cdeedfe