refactor(library/standard): moved temporary product and some useful theorems to kernel