comozfc-v1.0.0 protected

Max Ole Elliger

@oc59yqul

206e1e92 · rearrenged some defs · Jul 23, 2023

Release: comozfc-v1.0.0

stated first version of ZFC-Axioms, removed axiom status from derivable theorems reordered Axioms/Theorems to show dependencies better between them