Theorem Pi.conj_apply

Modification history

2024-01-07 10:52
Mathlib/Algebra/Star/Pi.lean
feat: Every star ring is a `Nat`-star module (#9470) …
Added Pi.conj_applyView on Github →