2019-02-17 | Christian Urban | updated | file | diff | annotate |
2019-02-11 | Christian Urban | added cardinality proof of Antimirov | file | diff | annotate |
2019-02-11 | Christian Urban | added partial derivative proof from Antimirov | file | diff | annotate | base |