Theorem ofDual_compl

Modification history

2023-06-30 01:46

Mathlib/Order/Heyting/Basic.lean

fix: change compl precedence (#5586)

Modified ofDual_compl View on Github →

2022-12-23 13:50

Mathlib/Order/Heyting/Basic.lean

chore: fix casing per naming scheme (#1183) …

Added ofDual_compl View on Github →