Theorem List.minimum_eq_coe_iff

Modification history