Copy some lemmas to v0.1/minor.v