Def CategoryTheory.Join.inclLeftFullyFaithful

Modification history

2025-07-04 10:05
Mathlib/CategoryTheory/Join/Basic.lean
chore: whitespace before `:` (#26727) …
Added CategoryTheory.Join.inclLeftFullyFaithfulView on Github →