Checking billy barr’s snow log…
A short proof of Toruńczyk’s characterization theorems — RMBL Knowledge Commons