Closed github-actions[bot] closed 10 months ago
https://api.github.com/pufferffish/agda-symmetries/blob/759f0a9c393787fc6cef1e2e97bb04702c866fa9/Cubical/Structures/Set/CMon/PList.agda#L1
-- TODO: QSet
This is the definition using quotients.
Duplicate of #54
https://api.github.com/pufferffish/agda-symmetries/blob/759f0a9c393787fc6cef1e2e97bb04702c866fa9/Cubical/Structures/Set/CMon/PList.agda#L1