Commit 2025-10-28 10:18 00612308
View on Github →chore(Combinatorics/SetFamily/KruskalKatona): remove outdated comment (#30564) The referenced diamond was fixed in #29436.
chore(Combinatorics/SetFamily/KruskalKatona): remove outdated comment (#30564) The referenced diamond was fixed in #29436.