Theorem List.chain_iff_get

Modification history