Theorem Hollom.square_subset_S_case_1

Modification history