Theorem List.chain'_nil

Modification history