Theorem wellFoundedGT_iff_monotone_chain_condition

Modification history