Theorem reflection_singleton_apply

Modification history