Theorem List.Func.get_set

Modification history