Don't skip PartialOrder antisymmetry and transitivity#3493

Merged

LukaJCB merged 1 commit intotypelevel:masterfrom rossabaker:disambiguate-partial-order-props

Jun 21, 2020

+4-4

Commits on Jun 21, 2020

Disambiguate PartialOrder property ids
rossabaker
committed