Completed astimezone()'s correctness proof.  This also proves we can get
the desired compromise behavior during the "problem hour" when DST ends
cheaply (but I haven't yet implemented that).
1 file changed