Mathlib v3 is deprecated. Go to Mathlib v4

Def units.to_Aut

Modification history

2022-01-05 23:45
src/category_theory/single_obj.lean
chore(*): notation for `units` (#11236)
Modified units.to_AutView on Github →
2019-08-28 21:31
src/category_theory/single_obj.lean
refactor(category_theory/single_obj): migrate to bundled morphisms (#1330) …
Added units.to_AutView on Github →