nLab finite type (history)

January 28, 2024

• Current (diff)
  by Urs Schreiber on January 28, 2024 at 08:23:04.

November 24, 2023

• Revision 6 (diff)
  by Anonymouse on November 24, 2023 at 05:21:04.

August 12, 2023

• Revision 5 (diff)
  by Urs Schreiber on August 12, 2023 at 13:01:07.
• Revision 4 (diff)
  by Anonymouse on August 12, 2023 at 11:41:20.

June 17, 2022

• Revision 3 (diff)
  by Anonymous on June 17, 2022 at 19:06:39.

July 9, 2021

• Revision 2 (diff)
  by Urs Schreiber on July 9, 2021 at 07:27:01.

July 8, 2021

• Revision 1
  by Urs Schreiber on July 8, 2021 at 20:19:13.