Zulip Chat Archive
Stream: Is there code for X?
Topic: Pairity of Permutations
Jihoon Hyun (Oct 08 2024 at 12:56):
Given a finite type, is there a tool in mathlib which elaborates with its permutation's pairity?
Eric Wieser (Oct 08 2024 at 13:01):
Last updated: May 02 2025 at 03:31 UTC