Theorem WellFounded.monotone_chain_condition

Modification history