Commit 2025-08-15 22:00 02207698

View on Github →

feat(Order/WellFounded): Acc and infinite descending chain (#28120)

Estimated changes