Commit 2024-07-25 01:10 daf323c3
View on Github →feat(Data/Set/Basic, Order/RelClasses): add @[simp] to subset_refl and subset_empty_iff (#15110) As per the description.
feat(Data/Set/Basic, Order/RelClasses): add @[simp] to subset_refl and subset_empty_iff (#15110) As per the description.