Theorem map_compl

Modification history

2023-06-30 01:46

Mathlib/Order/Heyting/Hom.lean

fix: change compl precedence (#5586)

Modified map_compl View on Github →

2023-02-06 07:35

Mathlib/Order/Heyting/Hom.lean

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

Added map_compl View on Github →