Theorem List.Func.equiv_refl

Modification history