vanishingImplies

P190876 predicate

Indicates that when one quantity or condition becomes zero or disappears, it logically entails or causes another specified property or outcome to hold.

Sample triples (2)

Subject Object
Whitehead groups
surface form: Whitehead group
every h-cobordism is simple
Whitehead groups
surface form: Whitehead group
every homotopy equivalence is simple up to stabilization