jstoobysmith 90dd337aab feat: Add contr_contr theorem		2024-10-19 08:33:49 +00:00
..
Basic.lean	feat: Add contr_contr theorem	2024-10-19 08:33:49 +00:00
ContrContr.lean	feat: Add contr_contr theorem	2024-10-19 08:33:49 +00:00
PermContr.lean	feat: more work on node identities	2024-10-18 16:08:17 +00:00