Theorem List.perm_comp_forall₂

Modification history