Theorem List.coe_le_maximum_iff

Modification history