Theorem to_ring_hom_injective
Modification history
2022-12-29 15:12
Mathlib/Algebra/GroupRingAction/Basic.lean
chore: tidy various files (#1247)
Deleted to_ring_hom_injectiveView on Github →2022-12-26 20:25
Mathlib/Algebra/GroupRingAction/Basic.lean
feat port: Algebra.GroupRingAction.Basic (#1225) …
Added to_ring_hom_injectiveView on Github →