Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
HeytAlg.of
Modification history
2022-10-08 03:03
src/order/category/HeytAlg.lean
feat(order/category/HeytAlg): The category of Heyting algebras (#16250) …
Added
HeytAlg.of
View on Github →