Theorem List.take_eq_self_iff

Modification history