Both theories preserve bijection-non-existence; calling one 'cardinality fact' and the other 'strati...
This proposition has not been edited since the history system was added.