Skip to content

Basic Theory of Sets#3777

Open
WolframPfeifer wants to merge 4 commits into
mainfrom
pfeifer/3690sets
Open

Basic Theory of Sets#3777
WolframPfeifer wants to merge 4 commits into
mainfrom
pfeifer/3690sets

Fix merge error; move set files

8819422
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
succeeded Jun 11, 2026 in 5m 27s