Theorem Set.chainHeight_of_isEmpty

Modification history