Theorem List.Chain'.cons'

Modification history