Theorem BooleanRing.mul_self

Modification history

2025-01-21 01:06
Mathlib/Algebra/Ring/BooleanRing.lean
refactor(LinearAlgebra/Projection): Use IsIdempotentElem (#20665) …
Added BooleanRing.mul_selfView on Github →