The green cleaning program credit (IEQc3.1 in LEED 2009) is not a part of LEED v4. The requirements of that credit have been incorporated into the prerequisite, and the expectation is that teams will implement a high-performance cleaning program based on the green cleaning policy.