Theorem List.Chain'.iff_mem

Modification history