Commit 2026-04-19 03:16 42a89fc2

View on Github →

chore: remove backward.proofsInPublic (#38207)

Estimated changes

Modified Mathlib/Algebra/Group/Action/TransferInstance.lean

Modified Mathlib/Algebra/Order/Antidiag/Pi.lean

added def Finset.finAntidiagonal.aux

modified def Finset.finAntidiagonal

Modified Mathlib/AlgebraicTopology/SimplicialSet/AnodyneExtensions/IsUniquelyCodimOneFace.lean

modified theorem SSet.S.IsUniquelyCodimOneFace.cast

Modified Mathlib/CategoryTheory/Sites/EffectiveEpimorphic.lean

Modified Mathlib/GroupTheory/Congruence/Hom.lean

Modified Mathlib/Logic/Godel/GodelBetaFunction.lean

Modified Mathlib/Probability/Kernel/CondDistrib.lean