Theorem List.suffix_rfl

Modification history