Theorem semiconj_by.units_inv_symm_left
Modification history
2022-03-14 05:19
src/algebra/group/semiconj.lean
docs(algebra/*): Add docstrings to additive lemmas (#12578) …
Modified semiconj_by.units_inv_symm_leftView on Github →2022-01-05 23:45
src/algebra/group/semiconj.lean
chore(*): notation for `units` (#11236)
Modified semiconj_by.units_inv_symm_leftView on Github →