Theorem List.Func.equiv_symm

Modification history