Theorem boundedSpace_subtype_iff

Modification history