H^K(U) is complete Math 836 Spring 2023

From Rakesh Rakesh