« first day (2619 days earlier)      last day (1271 days later) » 

YCor
YCor
2:22 PM
I think all occurrences of models-of-pa can be changed manually to theories-of-arithmetic (I started doing so).
 

« first day (2619 days earlier)      last day (1271 days later) »