Theorem Descriptive.tree_eq_bot

Modification history