Homotopy Type Theory monic function > history (history)

June 17, 2022

• Current (diff)
  by Anonymous? on June 17, 2022 at 21:58:07.

June 15, 2022

• Revision 9 (diff)
  by Anonymous? on June 15, 2022 at 22:56:16.
• Revision 8 (diff)
  by Anonymous? on June 15, 2022 at 20:57:48.

April 21, 2022

• Revision 7 (diff)
  by Anonymous? on April 21, 2022 at 17:07:57.

March 17, 2022

• Revision 6 (diff)
  by Anonymous? on March 17, 2022 at 22:16:19.
• Revision 5 (diff)
  by Anonymous? on March 17, 2022 at 21:30:53.

March 13, 2022

• Revision 4 (diff)
  by Anonymous? on March 13, 2022 at 00:57:50.

March 12, 2022

• Revision 3 (diff)
  by Anonymous? on March 12, 2022 at 23:14:51.
• Revision 2 (diff)
  by Anonymous? on March 12, 2022 at 20:26:03.
• Revision 1
  by Anonymous? on March 12, 2022 at 18:58:17.