Skip to content

Corrections on proofs Mapping/SetTheory

Alexandre Esteban Sallinen requested to merge github/fork/lighthea/new_proofs into main

Small correections : -not using withparameter -not using ax/thm syntax -two more proofs

Merge request reports