lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard
verified publisher icon iehality

add(Modal): Modality Reduction in `S4`

Open SnO2WMaN opened this issue 10 months ago • 0 comments

close #409

SnO2WMaN avatar Jun 22 '25 21:06 SnO2WMaN