mathlib3
feat(ring_theory/ideal_operations): inj_iff_trivial_ker for ring homomorphisms
#951
Merged
Overview
Commits
9
Changes
View On GitHub
Commits
  • feat(ring_theory/ideal_operations): inj_iff_trivial_ker for ring homomorphisms
    ramonfmir committed 6 years ago
  • Merge branch 'master' of https://github.com/leanprover-community/mathlib into inj_iff_trivial_ker
    ramonfmir committed 6 years ago
  • Merge branch 'master' of https://github.com/leanprover-community/mathlib into inj_iff_trivial_ker
    ramonfmir committed 6 years ago
  • Merge branch 'master' of https://github.com/leanprover-community/mathlib into inj_iff_trivial_ker
    ramonfmir committed 6 years ago
  • Update subgroup.lean
    jcommelin committed 6 years ago
  • Merge branch 'master' into inj_iff_trivial_ker
    jcommelin committed 6 years ago
  • Update ideal_operations.lean
    jcommelin committed 6 years ago
  • Merge branch 'master' into inj_iff_trivial_ker
    jcommelin committed 6 years ago
  • Merge branch 'master' into 'inj_iff_trivial_ker'
    mergify-bot committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading