rw in `sub_eq_sub_iff_sub_eq_sub` (#5903)

Commit

4 years ago

refactor(algebra/group/basic): simp -> rw in `sub_eq_sub_iff_sub_eq_sub` (#5903) co-authors: `lean-gptf`, Yuhuai Wu

Author

Jesse Michael Han

Parents