Less-than is asymmetric, not antisymmetric#67736
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 3, 2020
taralx:patch-1
Merged
Less-than is asymmetric, not antisymmetric#67736bors merged 1 commit intorust-lang:masterfrom taralx:patch-1
bors merged 1 commit intorust-lang:masterfrom
taralx:patch-1
