Commit 2020-08-02 08:31 f2db6a8f
View on Github →chore(algebra/order): enable dot syntax (#3643)
Add dot syntax aliases to some lemmas about order (e.g.,
has_le.le.trans). Also remove lt_of_le_of_ne' (was equivalent
to lt_of_le_of_ne).
chore(algebra/order): enable dot syntax (#3643)
Add dot syntax aliases to some lemmas about order (e.g.,
has_le.le.trans). Also remove lt_of_le_of_ne' (was equivalent
to lt_of_le_of_ne).