Commit 2026-10-27 14:54 104616cf

View on Github →

chore: decapitalize True/False in theorem names (#45349) According to the naming convention, True and False need to be decapitalized in theorem names. This PR ensures this rule is followed in mathlib.

Estimated changes

deleted theorem Multiset.countP_True
added theorem Multiset.countP_true
deleted theorem Set.Ici_False
deleted theorem Set.Ici_True
added theorem Set.Ici_false
added theorem Set.Ici_true
deleted theorem Set.Iic_False
deleted theorem Set.Iic_True
added theorem Set.Iic_false
added theorem Set.Iic_true
deleted theorem Set.Iio_False
deleted theorem Set.Iio_True
added theorem Set.Iio_false
added theorem Set.Iio_true
deleted theorem Set.Ioi_False
deleted theorem Set.Ioi_True
added theorem Set.Ioi_false
added theorem Set.Ioi_true