Commit 2025-08-20 17:10 0db8fb90

View on Github →

chore(Algebra/Order/Sub): golf entire tsub_min (#28388)

Estimated changes

modified theorem tsub_min