Mathlib Changelog
v4
Changelog
About
Github
Theorem
InvImage.irrefl
Modification history
2026-02-16 11:54
Mathlib/Order/Defs/Unbundled.lean
chore(Order/Defs/Unbundled): deprecate `def Irreflexive` in favor of `class Std.Irrefl` (#35191)
Added
InvImage.irrefl
View on Github →