Theorem List.revzip_sublists'

Modification history