47:41 duration 47 minutes 41 seconds
Extension operator on open sets U
54:57 duration 54 minutes 57 seconds
Extension operator for R_+^n