Theorem Hollom.square_subset_S

Modification history