Commit 2026-10-11 11:42 051bc081

View on Github →

chore(Order/SuccPred/Relation): use to_dual (#44412)

Estimated changes

deleted theorem reflTransGen_of_pred
deleted theorem transGen_of_pred_of_gt
deleted theorem transGen_of_pred_of_lt
deleted theorem transGen_of_pred_of_ne
deleted theorem transGen_of_pred_of_refl