Commit 2026-10-01 19:05 b7da4879
View on Github →chore(Combinatorics/Derangements/Finite): remove superfluous instance (#44395) This instance is not necessary, and caused a diamond at implicit transparency. Found by the linter in #38781.
chore(Combinatorics/Derangements/Finite): remove superfluous instance (#44395) This instance is not necessary, and caused a diamond at implicit transparency. Found by the linter in #38781.