Theorem Set.le_chainHeight_add_nat_iff

Modification history