Commit 2024-10-25 20:58 bacc8b0e
View on Github →chore: fix name "Set.cou_inter_self_right_eq_coe" (#18222) The old name contained a typo. The new one is symmetric to the name of the following lemma in the same file.
chore: fix name "Set.cou_inter_self_right_eq_coe" (#18222) The old name contained a typo. The new one is symmetric to the name of the following lemma in the same file.