Theorem Directed.extend_bot

Modification history