Def CategoryTheory.Join.Hom

Modification history

2025-04-18 20:06

Mathlib/CategoryTheory/Join/Basic.lean

feat(CategoryTheory): joins of categories (#23412) …

Added CategoryTheory.Join.Hom View on Github →