Theorem Wcovby.Ioc_subset

Modification history