nLab
function extensionality (history)

January 15, 2012

• Current (diff)
  by Urs Schreiber at January 15, 2012 23:08:30 from 82.113.98.116
• Revision 8 (diff)
  by Todd Trimble at January 15, 2012 20:25:06 from 74.88.146.52
• Revision 7 (diff)
  by Todd Trimble at January 15, 2012 17:07:33 from 74.88.146.52

December 21, 2011

• Revision 6 (diff)
  by Mike Shulman at December 21, 2011 08:57:05 from 71.136.253.8

December 12, 2011

• Revision 5 (diff)
  by Urs Schreiber at December 12, 2011 12:08:53 from 82.113.99.26

December 9, 2011

• Revision 4 (diff)
  by Urs Schreiber at December 9, 2011 22:14:12 from 212.87.29.231

December 6, 2011

• Revision 3 (diff)
  by Urs Schreiber at December 6, 2011 11:40:44 from 131.174.41.63

November 29, 2011

• Revision 2 (diff)
  by Toby Bartels at November 29, 2011 09:44:38 from 71.31.209.116

November 25, 2011

• Revision 1
  by Urs Schreiber at November 25, 2011 14:37:42 from 131.211.235.70