Assertion: diamond principle | /r/CapableOf | imply ch
Facets:
Source sentences:
text: He also showed that V = L implies the diamond-plus principle, which implies the diamond principle, which implies CH.