Commit 2024-05-08 13:44 49c10909

View on Github →

chore(Order/Interval/Finset/Defs): golf (#12752)

Estimated changes

modified theorem Icc_ofDual
modified theorem Icc_toDual
modified theorem Ico_ofDual
modified theorem Ico_toDual
modified theorem Ioc_ofDual
modified theorem Ioc_toDual
modified theorem Ioo_ofDual
modified theorem Ioo_toDual