Mathlib Changelog
v4
Changelog
About
Github
Theorem
SemiconjBy.neg_right_iff
Modification history
2022-11-27 23:16
Mathlib/Algebra/Ring/Semiconj.lean
feat(Algebra/Ring/Semiconj): port file (#751) …
Added
SemiconjBy.neg_right_iff
View on Github →