Assertion: set | /r/AtLocation | other words
Facets:
Source sentences:
text: In other words, if a set having a property that depends only on sets in \(HC\) exists in some (ideal) generic extension of \(V\) obtained by forcing with a ccc partial ordering, then a set with that property already exists in \(V\).