Commit 2022-08-16 04:11 3e0dd193
View on Github →feat(category_theory): compute subobjects of structured arrows (#15912) One step closer to the Special Adjoint Functor Theorem.
feat(category_theory): compute subobjects of structured arrows (#15912) One step closer to the Special Adjoint Functor Theorem.