feat(CategoryTheory/Subobject): Heyting algebra structure on Subobject in elementary topoi#39618

node0000 wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

node0000:subobject-heytingnode0000/mathlib4:subobject-heytingCopy head branch name to clipboard