ring): inv_fun_eq_symm (#10779)

Commit

4 years ago

chore(data/equiv/ring): inv_fun_eq_symm (#10779) Like what we have for `alg_equiv`.

Author

pechersky

Parents