Theorem List.chain'_cons'

Modification history