Theorem reflection_bot

Modification history