Theorem closed_under_restriction'

Modification history