Mathlib Changelog
Changelog
About
Github
Def
Preorder_to_Cat
Modification history
2022-04-13 23:29
src/order/category/Preorder.lean
chore(order/category/Preorder): reduce imports (#13301) …
Added
Preorder_to_Cat
View on Github →