Theorem CategoryTheory.MonoidalLinear.ofFaithful

Modification history

2025-10-30 23:57
Mathlib/CategoryTheory/Monoidal/Linear.lean
chore(CategoryTheory): rename monoidal transport constructions (#31022) …
Added CategoryTheory.MonoidalLinear.ofFaithfulView on Github →