Theorem List.Forall₂.length_eq

Modification history