Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-28 16:28 94e368c5

View on Github →

chore(ring_theory/algebra): add docstring to algebra.comap and remove unused instances (#1624)

  • doc(ring_theory/algebra): add docstring to algebra.comap
  • Update algebra.lean

Estimated changes

modified def algebra.comap