Theorem List.rel_of_chain_cons

Modification history