Theorem List.eq_repeat'

Modification history