Theorem List.coe_maximum_of_length_pos

Modification history