« first day (1914 days earlier)      last day (2040 days later) » 

Martin Sleziak
Martin Sleziak
8:01 AM
The question Which mathematical definitions should be formalised in Lean? is now in the HNQ list. (Perhaps it§s not that surprising.)
 

« first day (1914 days earlier)      last day (2040 days later) »