nLab dependent choice (history)

December 10, 2025

• Current (diff)
  by Max S. New on December 10, 2025 at 22:45:19.

April 7, 2025

• Revision 14 (diff)
  by Anonymouse on April 7, 2025 at 22:44:31.

December 7, 2024

• Revision 13 (diff)
  by Anonymouse on December 7, 2024 at 16:43:16.

December 6, 2024

• Revision 12 (diff)
  by Maus on December 6, 2024 at 23:56:26.
• Revision 11 (diff)
  by Anonymouse on December 6, 2024 at 20:24:17.
• Revision 10 (diff)
  by Anonymouse on December 6, 2024 at 19:37:35.
• Revision 9 (diff)
  by Maus on December 6, 2024 at 14:26:57.

November 8, 2023

• Revision 8 (diff)
  by Anonymouse on November 8, 2023 at 17:21:39.

December 5, 2022

• Revision 7 (diff)
  by Anonymous on December 5, 2022 at 07:19:13.

September 3, 2012

• Revision 6 (diff)
  by Toby Bartels on September 3, 2012 at 21:17:34.

May 30, 2010

• Revision 5 (diff)
  by Toby Bartels on May 30, 2010 at 16:49:25.
• Revision 4 (diff)
  by Mike Shulman on May 30, 2010 at 06:55:40.
• Revision 3 (diff)
  by Toby Bartels on May 30, 2010 at 05:41:19.
• Revision 2 (diff)
  by Todd Trimble on May 30, 2010 at 01:04:51.
• Revision 1
  by Todd Trimble on May 30, 2010 at 00:17:02.