theorem Th34: :: CARDFIL4:42

all-square-uparrow ,[:base_of_frechet_filter,base_of_frechet_filter:] are_equivalent_generators