Revision history for entry Darnell, Eamon; Thomas-Bolduc, Aaron: Takeuti’s Well-Ordering Proof: Finitisti.. [DARTWP-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-06-19T06:03:43update
2020-06-17T23:59:50addSystem / admin update