Homotopy Type Theory Hausdorff ring > history (history)

June 10, 2022

• Current (diff)
  by Anonymous? on June 10, 2022 at 01:40:14.

April 15, 2022

• Revision 3 (diff)
  by Anonymous? on April 15, 2022 at 15:35:28.
• Revision 2 (diff)
  by Anonymous? on April 15, 2022 at 02:38:52.
• Revision 1
  by Anonymous? on April 15, 2022 at 01:38:19.