Def algebra.comap
Modification history
2021-06-16 06:02
src/algebra/algebra/basic.lean
refactor(algebra/algebra/basic): replace `algebra.comap` with `restrict_scalars` (#7949) …
Deleted algebra.comapView on Github →2020-04-10 10:19
src/ring_theory/algebra.lean
refactor(ring_theory/algebra): use bundled homs, allow semirings (#2303) …
Modified algebra.comapView on Github →2020-02-24 15:43
src/ring_theory/algebra.lean
feat(tactic/lint): support @[nolint unused_arguments] (#2041) …
Modified algebra.comapView on Github →2019-10-28 16:28
src/ring_theory/algebra.lean
chore(ring_theory/algebra): add docstring to algebra.comap and remove unused instances (#1624) …
Modified algebra.comapView on Github →