Commit Graph

2 Commits (395b8b19a110b084969bd0b186ded3e73a4b66a7)

Author SHA1 Message Date
Jon Eugster 1f14ad185f internally rename lemma to theorem #108 2 years ago
joneugster 2b159f508f move test 3 years ago