Skip to content
Check for copyright header

refactor: replace PRange shape α with Rcc α and eight other types #18391

Sign in to view logs

refactor: replace PRange shape α with Rcc α and eight other types

refactor: replace PRange shape α with Rcc α and eight other types #18391

check-lean-files

check-lean-files
succeeded Oct 1, 2025 in 36s