mathlib

14830881 - structure for inf and dis comps