Theorem Hollom.square_subset_R

Modification history