Theorem CompactExhaustion.subset_succ

Modification history