thys2/ClosedFormsBounds.thy
2022-03-10 Chengsong closedforms
2022-03-09 Chengsong restructured sizebound proof
less more (0) tip