lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

feat(Modal): Finite frame property of `𝐆𝐫𝐳`

Open SnO2WMaN opened this issue 6 months ago • 1 comments

SnO2WMaN avatar Aug 09 '24 10:08 SnO2WMaN