thys2/SizeBound2.thy
2022-01-22 Christian Urban polished
2022-01-20 Christian Urban simplified version
less more (0) tip