Email Gateway (Aug 22 2022 at 12:14): Email Gateway (Aug 22 2022 at 12:14):From: "C. Diekmann" <diekmann@in.tum.de>
Hi,
in Int.thy, zpower_int disappeared. Is there a specific reason for this?
urgency: none.
Best,
Cornelius
Email Gateway (Aug 22 2022 at 12:16):From: Lawrence Paulson <lp15@cam.ac.uk>
Quite a few redundant copies of general results were removed this time round. A partial list is in the NEWS file. Also, zpower_int has the “wrong” orientation compared with most similar theorems. You still have the more general of_nat_power.
Larry Paulson
Last updated: Apr 19 2024 at 04:17 UTC