Code

Prove that Or can be flipped#11

Code

Open

ice1000 wants to merge 1 commit intomasterJetBrains/arend-lib:masterfrom simple-equivsJetBrains/arend-lib:simple-equivsCopy head branch name to clipboard

+18

Commits

Commits on Feb 28, 2020

• Prove that Or can be flipped

  ice1000

  committed
  c122ee3

  Copy full SHA for c122ee3