Commit 2024-09-08 11:17 48b2de3d

View on Github →

chore: rename invOf lemmas to match inv lemmas (#16590) This follows on from #11530 In each case, I've added an example with the Group lemma, to make it easier to keep the names in sync.

Estimated changes

added theorem invOf_mul_cancel_left'
added theorem invOf_mul_cancel_left
added theorem invOf_mul_cancel_right
modified theorem invOf_mul_self
deleted theorem invOf_mul_self_assoc'
deleted theorem invOf_mul_self_assoc
modified theorem invOf_one
added theorem mul_invOf_cancel_left'
added theorem mul_invOf_cancel_left
added theorem mul_invOf_cancel_right
deleted theorem mul_invOf_mul_self_cancel
modified theorem mul_invOf_self
deleted theorem mul_invOf_self_assoc'
deleted theorem mul_invOf_self_assoc
deleted theorem mul_mul_invOf_self_cancel