Skip to content

simp unfolds local def through projection #282

simp unfolds local def through projection

simp unfolds local def through projection #282