Revision 004f49eb
ID | 004f49ebea3dbb29adc3e04eaae15529df9b5bb2 |
Parent | 59ad7d83 |
Child | 327fc1a6, 6b7566df |
remove dependence on mathlib from topology module
Files
- added
- modified
- copied
- renamed
- deleted
ID | 004f49ebea3dbb29adc3e04eaae15529df9b5bb2 |
Parent | 59ad7d83 |
Child | 327fc1a6, 6b7566df |
Added by Csaba Kiraly about 10 years ago
remove dependence on mathlib from topology module