mathlib3
feat(ring_theory/ideal_operations): inj_iff_trivial_ker for ring homomorphisms
#951
Merged
Merged
feat(ring_theory/ideal_operations): inj_iff_trivial_ker for ring homomorphisms #951
mergify
merged
9 commits into
leanprover-community:master
from
ramonfmir:inj_iff_trivial_ker
jcommelin
commented
on 2019-04-20
feat(ring_theory/ideal_operations): inj_iff_trivial_ker for ring homo…
475991bb
Merge branch 'master' of https://github.com/leanprover-community/math…
1b327b11
Merge branch 'master' of https://github.com/leanprover-community/math…
754b9d31
Merge branch 'master' of https://github.com/leanprover-community/math…
0c5fa18f
ChrisHughes24
commented
on 2019-04-28
Update subgroup.lean
2bdbfcc8
Merge branch 'master' into inj_iff_trivial_ker
b4da172f
jcommelin
dismissed these changes
on 2019-05-01
jcommelin
dismissed these changes
on 2019-05-01
Update ideal_operations.lean
c760b864
jcommelin
dismissed these changes
on 2019-05-02
Merge branch 'master' into inj_iff_trivial_ker
612dfaa5
jcommelin
approved these changes
on 2019-05-02
Merge branch 'master' into 'inj_iff_trivial_ker'
6eb037df
Login to write a write a comment.