thys2/SizeBound3.thy
2022-01-22 Christian Urban polished
less more (0) tip