Theorem Subtype.restrict_def

Modification history