Commit 2024-02-23 22:00 0ed4b45c

View on Github →

chore(DFinsupp/Order): drop a Decidable assumption (#10870)

Estimated changes

modified theorem DFinsupp.single_le_iff