finite_tarski.mlw 1.69 KB