CatDat

Implication Details

Assumptions: gaunt

Conclusions: core-thinskeletal

This is an equivalence.

Reason: This is trivial.