Mathlib v3 is deprecated. Go to Mathlib v4

Def adjoin_one_adj

Modification history

2021-02-28 01:58

src/algebra/category/Mon/adjunctions.lean

feat(algebra/category/Mon/adjunctions): adjoin_unit adjunction from Semigroup (#6440) …

Added adjoin_one_adj View on Github →