Theorem VitaliFamily.FineSubfamilyOn.covering_disjoint_subtype

Modification history