Commit 2026-02-16 11:54 41228da3

View on Github →

chore(Order/Defs/Unbundled): deprecate def Irreflexive in favor of class Std.Irrefl (#35191)

Estimated changes