Talk:Infrabarrelled space

Merger proposal
The page Quasibarrelled space should be merged into Infrabarrelled space, as these are simply two alternative names for the same concept. It seems that infrabarrelled is somewhat more common terminology, so that should be the remaining page, with quasibarrelled becoming a redirect. Stca74 (talk) 13:10, 11 April 2022 (UTC)
 * I see no signs of opposition to your proposal to merge the two articles. I think you can feel free to do that. Joyous! | Talk 11:31, 7 February 2023 (UTC)