Commit 2024-11-25 11:42 ebd64075

View on Github →

chore: rename Codisjoint_comm to codisjoint_comm (#19403) This was a typo

Estimated changes

Modified Mathlib/Data/Fintype/Basic.lean

Modified Mathlib/Order/BooleanAlgebra.lean

Modified Mathlib/Order/Disjoint.lean

deleted theorem Codisjoint_comm

added theorem codisjoint_comm

Modified Mathlib/Order/Heyting/Basic.lean