Code

Wochoice#1198

Code

Merged

affeldt-aist merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom Tragicus:wochoiceTragicus/analysis:wochoiceCopy head branch name to clipboardAug 6, 2024

+462-202

Commits

Commits on Aug 5, 2024

• Zorn etc.

  Show description for 57a54d7
  

  2 peopleauthored and

  affeldt-aist

  committed
  57a54d7

Commits on Aug 6, 2024

• replace original zorn lemma with georges'

  Show description for d17aefe
  affeldt-aist

  committed
  d17aefe