Homotopy Type Theory univariate rational expressions > history (history)

June 13, 2022

• Current (diff)
  by Anonymous? on June 13, 2022 at 06:33:20.

March 16, 2022

• Revision 2 (diff)
  by Anonymous? on March 16, 2022 at 02:44:07.

March 15, 2022

• Revision 1
  by Anonymous? on March 15, 2022 at 09:16:07.