mathlib3
09389152 - Merge branch 'master' into replace_conj_with_star

Commit

4 years ago

Merge branch 'master' into replace_conj_with_star

References

#9692 - refactor(algebra/star): replace `star_ring_aut` with `star`

Author

dupuisf

dupuisf

Parents

Loading