Theorem List.take_all_of_le

Modification history