search

pufferffish / agda-symmetries

MIT License
5 stars 1 forks source link

MSet #15

Closed github-actions[bot] closed 10 months ago

github-actions[bot] commented 10 months ago

https://api.github.com/pufferffish/agda-symmetries/blob/759f0a9c393787fc6cef1e2e97bb04702c866fa9/Cubical/Structures/Set/CMon/SList.agda#L1


-- TODO: MSet
github-actions[bot] commented 10 months ago

Closed in 9ff03831af62533f27f14967803064cc565afa9e