Commit 2022-06-28 03:59 dcedc047
View on Github →feat(order/symm_diff): Triangle inequality for the symmetric difference (#14847)
Prove that a ∆ c ≤ a ∆ b ⊔ b ∆ c.
feat(order/symm_diff): Triangle inequality for the symmetric difference (#14847)
Prove that a ∆ c ≤ a ∆ b ⊔ b ∆ c.