2019-09-09 | Christian Urban | made lemma about AALTs_subs stronger w.r.t. flts | file | diff | annotate |
2019-09-06 | Christian Urban | updaed with AALTs_subs definition | file | diff | annotate |
2019-08-21 | Christian Urban | updated with the proof of bder | file | diff | annotate |
2019-08-21 | Christian Urban | added some lemmas about the counter example. | file | diff | annotate |
2019-08-20 | Christian Urban | updated contains | file | diff | annotate |
2019-08-19 | Christian Urban | added progress with the contains relation | file | diff | annotate |
2019-08-10 | Christian Urban | updated | file | diff | annotate |
2019-08-10 | Christian Urban | updated | file | diff | annotate |