Skip to content

Extract inductives

Extract inductives #18

equations

succeeded Feb 16, 2026 in 44s