Theorem WellFoundedGT.monotone_chain_condition'

Modification history