Skip to content

Extract inductives

Extract inductives #20