Structure CoheytingHom

Modification history

2023-08-10 19:52

Mathlib/Order/Heyting/Hom.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified CoheytingHom View on Github →

2023-02-06 07:35

Mathlib/Order/Heyting/Hom.lean

feat: port Order.Heyting.Hom (#2077) …

Added CoheytingHom View on Github →