thys3/HarderProps.thy
2022-06-29 Chengsong hello
less more (0) tip