lemmas about within-continuity#1859

affeldt-aist merged 4 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:topology_20260224affeldt-aist/analysis:topology_20260224Copy head branch name to clipboard