mathlib
7e9094b1 - feat(control/equiv_functor): simp defn lemmas and injectivity (#5739)

Commit

5 years ago

feat(control/equiv_functor): simp defn lemmas and injectivity (#5739) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

pechersky

Parents