basic): add 1-related lemmas for `aut` (#11738)

Commit

3 years ago

feat(algebra/algebra/basic): add 1-related lemmas for `aut` (#11738) from flt-regular

Author

ericrbg

Parents