Theorem List.chain_iff_forall₂

Modification history