« first day (822 days earlier)      last day (3089 days later) » 

quid
quid
9:08 PM
Another dubious tag extension
Ugh. fundamental-lemma why did I not see that earlier. (edit: got resolved)
I knew about missing-lemma I think there even was a discussion about it once. (edit: got resolved)
Still I think it should also go. Seems like a meta-tag of the purest kind.
 
 
1 hour later…
quid
quid
10:23 PM
What about regularization? Is there a coherent usage?
 

« first day (822 days earlier)      last day (3089 days later) »