Theorem CategoryTheory.Discrete.monoidal_tensorUnit_as

Modification history

2023-09-21 09:16
Mathlib/CategoryTheory/Monoidal/Discrete.lean
chore: only four spaces for subsequent lines (#7286)
Modified CategoryTheory.Discrete.monoidal_tensorUnit_asView on Github →
2023-03-27 13:30
Mathlib/CategoryTheory/Monoidal/Discrete.lean
feat: port CategoryTheory.Monoidal.Discrete (#3038)
Added CategoryTheory.Discrete.monoidal_tensorUnit_asView on Github →