Theorem semiconj_by.units_inv_right
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_rightView on Github →2022-01-05 23:45
src/algebra/group/semiconj.lean
chore(*): notation for `units` (#11236)
Modified semiconj_by.units_inv_rightView on Github →