Commit 2025-10-04 05:32 bc0b6c6f
View on Github →chore(SpecialFunctions/Pow/Real): adjust intCast lemma to use int (#30172) The old statement was identical to the natCast one, and did not mention int or intCast at all, so we correct the statement.
chore(SpecialFunctions/Pow/Real): adjust intCast lemma to use int (#30172) The old statement was identical to the natCast one, and did not mention int or intCast at all, so we correct the statement.