« first day (3 days earlier)      last day (4596 days later) » 

13:00
is at 18 questions at the moment.
 
9 hours later…
21:44
should we create a new tag for induction?
@HenningMakholm suggests creating a new tag for transfinite induction
also i created a new tag called valued-fields.

« first day (3 days earlier)      last day (4596 days later) »