def Regex.Unicode.CaseFoldEquiv (c₁ c₂ : Char) : Prop

Two characters are case-fold equivalent if one is in the case-fold equivalence class of the other.

Equations

• Regex.Unicode.CaseFoldEquiv c₁ c₂ = (c₂ = (Regex.Unicode.getCaseFoldEquivChars c₁).fst ∨ c₂ ∈ (Regex.Unicode.getCaseFoldEquivChars c₁).snd)