Code

Sets is not self-dual#314

Code

Merged

plt-amy merged 25 commits intothe1lab:mainthe1lab/1lab:mainfrom mmcqd:matthew/sets-not-self-dualmmcqd/1lab:matthew/sets-not-self-dualCopy head branch name to clipboardDec 15, 2023

+203-3

Commits

Commits on Dec 10, 2023

• naming fix, some lemmas, and a new counterexamples module

  mmcqd

  committed
  fe3c474

  Copy full SHA for fe3c474

Commits on Dec 14, 2023

• bunch of re-wording and whanot

  mmcqd

  committed
  91546c9

  Copy full SHA for 91546c9

• update index

  mmcqd

  committed
  59ca021

  Copy full SHA for 59ca021

• more rewording

  mmcqd

  committed
  9d446d8

  Copy full SHA for 9d446d8

• move definition

  mmcqd

  committed
  67f0089

  Copy full SHA for 67f0089

• sorting imports

  mmcqd

  committed
  7a80f95

  Copy full SHA for 7a80f95

• reword

  mmcqd

  committed
  d270b1e

  Copy full SHA for d270b1e

• fix sorting

  mmcqd

  committed
  f7b1534

  Copy full SHA for f7b1534

• replace with $\Sets$

  mmcqd

  committed
  3e416b2

  Copy full SHA for 3e416b2

• typo

  mmcqd

  committed
  e62353f

  Copy full SHA for e62353f

• strict initial objects

  mmcqd

  committed
  b87669f

  Copy full SHA for b87669f

• use StrictInitial

  mmcqd

  committed
  e129f8c

  Copy full SHA for e129f8c

• Merge branch 'main' into matthew/sets-not-self-dual

  mmcqd

  authored
  465be24

  Copy full SHA for 465be24

• fix import

  mmcqd

  committed
  886b117

  Copy full SHA for 886b117

• Merge remote-tracking branch 'refs/remotes/origin/matthew/sets-not-self-dual' into matthew/sets-not-self-dual

  mmcqd

  committed
  90f89ce

  Copy full SHA for 90f89ce

• Apply suggestions from code review

  Show description for 89966fe
  

  mmcqd

  and

  plt-amy

  authored
  89966fe

  Copy full SHA for 89966fe

• fix spacing, change case

  mmcqd

  committed
  5e29fd5

  Copy full SHA for 5e29fd5

• finish rename

  mmcqd

  committed
  8f62268

  Copy full SHA for 8f62268

• name typo

  mmcqd

  committed
  70adaff

  Copy full SHA for 70adaff

• use is-invertible

  mmcqd

  committed
  e922044

  Copy full SHA for e922044

• move opens around

  mmcqd

  committed
  6cb89e0

  Copy full SHA for 6cb89e0

Commits on Dec 15, 2023

• move open one more time

  mmcqd

  committed
  270d4d8

  Copy full SHA for 270d4d8

• delete extra word

  mmcqd

  committed
  cd81469

  Copy full SHA for cd81469

• remove un-needed 'where'

  mmcqd

  committed
  6a68e1d

  Copy full SHA for 6a68e1d

• Merge branch 'plt-amy:main' into matthew/sets-not-self-dual

  mmcqd

  authored
  e47638d

  Copy full SHA for e47638d