Theorem Hollom.square_subset_S_case_2

Modification history