Inductive List.Forall₂

Modification history