Theorem WellFoundedGT.monotone_chain_condition

Modification history