Commit Graph

Select branches

Hide Pull Requests

master

Mono Color

• 3da73646d1 add big_union master Dan Frumin 2019-06-12 14:09:12 +02:00
• 0578569c09 stronger collection Dan Frumin 2019-01-22 13:51:22 +01:00
• c9f427f737 Hacky version of the Collection axiom Dan Frumin 2019-01-22 12:12:46 +01:00
• a27e73014c extensionality Dan Frumin 2019-01-22 11:20:15 +01:00
• ea05bc91fd Separation axiom Dan Frumin 2019-01-21 19:12:17 +01:00
• 8bac5d98fe add README Dan Frumin 2019-01-21 18:48:29 +01:00
• 2b5a1fd4f3 Subset relation and extensionality Dan Frumin 2019-01-21 18:47:18 +01:00
• 73e87b6b1d Make set_eq and instance direclty Dan Frumin 2019-01-21 18:15:33 +01:00
• ab51715fd3 initial import Dan Frumin 2019-01-21 17:31:20 +01:00