Theorem Set.wellFoundedLT_of_chainHeight_ne_top

Modification history