Burnside's Lemma & Polya theorem

Stream: Is there code for X?

[leafGecko]

^

[Yaël Dillies]

Pretty sure I've seen something along those lines... Are group theorists around?

[Shing Tak Lam]

docs#mul_action.sum_card_fixed_by_eq_card_orbits_mul_card_group

[Kevin Buzzard]

how could I forget such a snappy name!

[Kevin Buzzard]

A rather easier way of finding it would just be typing "Burnside's Lemma" in the search bar of VS Code...

[Bolton Bailey]

You would think that any lemma findable in that way would be findable by typing "Burnside" into the Google site search in the documentation. I actually find that a bit confusing. The string "Burnside" occurs right there on the webpage, so why does the site search not pick it up?

[Bryan Gin-ge Chen]

The google site search often only shows results from old versions of the website and I don't know if we have a way to force google to reindex the site.

[leafGecko]

(deleted)