τ1 paracompact with respect to τ2

Last-modified: 2010-11-20 (土) 14:20:16

Definition