Theorem Descriptive.Tree.take_eq_take

Modification history