Mathlib v3 is deprecated. Go to Mathlib v4

Theorem eq_iff_sub_eq_zero

Modification history

2017-09-16 02:53

algebra/group.lean

feat(algebra): new algebra theorems (more iff)

Deleted eq_iff_sub_eq_zero View on Github →

2017-08-02 22:17

algebra/group.lean

refactor(algebra/group,group_power): clean up proofs

Modified eq_iff_sub_eq_zero View on Github →

2017-07-23 15:16

algebra/group.lean

refactor(*): import content from lean/library/data and library_dev

Added eq_iff_sub_eq_zero View on Github →