finite_tarski.mlw 1.72 KB