Closed github-actions[bot] closed 10 months ago
https://api.github.com/pufferffish/agda-symmetries/blob/759f0a9c393787fc6cef1e2e97bb04702c866fa9/Cubical/Structures/Set/CMon/CList.agda#L1
-- TODO: NSet
Closed in 9ff03831af62533f27f14967803064cc565afa9e
https://api.github.com/pufferffish/agda-symmetries/blob/759f0a9c393787fc6cef1e2e97bb04702c866fa9/Cubical/Structures/Set/CMon/CList.agda#L1