mathlib

52756281 - feat(algebra/operations): add three lemmas (#4864)

feat(algebra/operations): add three lemmas (#4864) Add lemmas `one_le_inv`, `self_le_self_inv` and `self_inv_le_one` Co-authored-by: faenuccio <65080144+faenuccio@users.noreply.github.com>