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

1:00 PM
is at 18 questions at the moment.
 
 
9 hours later…
9:44 PM
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 (4338 days later) »