« first day (212 days earlier)      last day (287 days later) » 

Leaky Nun
Leaky Nun
1:20 PM
let's prove that $y < z \iff y^+ \le z$ (ordinals)
 

« first day (212 days earlier)      last day (287 days later) »