Commit 2023-01-06 20:48 f7bf5792
View on Github →feat: a ⊔ b = a ⊓ b ↔ a = b
(#1078)
Match https://github.com/leanprover-community/mathlib/pull/17966
feat: a ⊔ b = a ⊓ b ↔ a = b
(#1078)
Match https://github.com/leanprover-community/mathlib/pull/17966