feat(Logic): surjective embeddings are equivs#37646
Open
SnirBroshi wants to merge 1 commit intoleanprover-community:masterfrom
Open
feat(Logic): surjective embeddings are equivs#37646SnirBroshi wants to merge 1 commit intoleanprover-community:masterfrom
SnirBroshi wants to merge 1 commit intoleanprover-community:masterfrom
