finite_tarski.mlw 1.67 KB