Theorem Set.covBy_insert

Modification history