mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(order/directed): A few more lemmas

Open YaelDillies opened this issue 3 years ago • 0 comments

Simple lemmas about directed.

Open in Gitpod

YaelDillies avatar Oct 13 '22 16:10 YaelDillies