Product embedding#768

Merged

zstone1 merged 16 commits into

math-comp:masterfrom

zstone1:product_embedding

Feb 6, 2023

Commits on Feb 6, 2023

swapping machines
zstone1
committed
proof of open map
zstone1
committed
hausdorff accessible
zstone1
committed
weak products equivalent
zstone1
committed
changelog
zstone1
committed
strengthen join_product_weak
zstone1
committed
cleaning up proofs
zstone1
committed
typos

affeldt-aist
authored and
zstone1
committed
adding local notations for proof legibility
zstone1
committed
merging product stuff
zstone1
committed
fixing changelog
zstone1
committed
specialized conjunctions to use less brackets and splits

affeldt-aist
authored and
zstone1
committed
fixing grammar
zstone1
committed
fix changelog
zstone1
committed
fixing build
zstone1
committed
more build fixes
zstone1
committed