Def CategoryTheory.Join.inclLeftFullyFaithful:

Modification history

2025-07-04 10:05
Mathlib/CategoryTheory/Join/Basic.lean
chore: whitespace before `:` (#26727) …
Deleted CategoryTheory.Join.inclLeftFullyFaithful:View on Github →
2025-04-18 20:06
Mathlib/CategoryTheory/Join/Basic.lean
feat(CategoryTheory): joins of categories (#23412) …
Added CategoryTheory.Join.inclLeftFullyFaithful:View on Github →