Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-01-05 14:05 da6ec218

View on Github →

feat(algebra/group): is_conj_one_right (#570)

Estimated changes

Modified algebra/group.lean

added theorem is_conj_one_left

added theorem is_conj_one_right

modified theorem is_conj_symm

modified theorem is_conj_trans