Def CategoryTheory.Join.inclRightFullyFaithful

Modification history

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