Report copyright - Bourbaki Isomorphism in Type Theoryaitp-conference.org/2020/slides/DMA.pdfBourbaki Isomorphism However, the Bourbaki mathematicians gave a de nition of structures and isomorphism in
Please pass captcha verification before submit form