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.ofView on Github →