Theorem conj_trivial

Modification history

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