easy lemma about infinite_set#1759

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:cardinality_20251118affeldt-aist/analysis:cardinality_20251118Copy head branch name to clipboard