Theorem List.coe_minimum_of_length_pos

Modification history