Theorem SemiconjBy.neg_left_iff

Modification history

2022-11-27 23:16
Mathlib/Algebra/Ring/Semiconj.lean
feat(Algebra/Ring/Semiconj): port file (#751) …
Added SemiconjBy.neg_left_iffView on Github →