Commit 2025-06-07 17:32 b2b0027d

View on Github →

chore(Order): deprecate gt_irrefl (#25567)

Estimated changes

deleted theorem gt_irrefl