Theorem List.range'_0

Modification history