Theorem interior_sphere'

Modification history