Theorem boundedSpace_induced_iff

Modification history