Mathlib v3 is deprecated. Go to Mathlib v4

Def star_ring_aut

Modification history

2021-10-02 07:33

src/algebra/star/basic.lean

chore(algebra/star/basic): provide automorphisms in commutative rings (#9483) …

Added star_ring_aut View on Github →