Def compact_covering

Modification history