Dependent products in categories#634

finegeometer wants to merge 3 commits into

the1lab:mainthe1lab/1lab:mainfrom

finegeometer:dependent-productsfinegeometer/1lab:dependent-productsCopy head branch name to clipboard