Theorem Set.wellFoundedGT_of_chainHeight_ne_top

Modification history