kagidab

TypePostAuthorRepliesLast post
Open problemTermination of the sixth Goodstein Sequence mdevos516 years 6 weeks ago