Skip to content

def: higher inductive k-finite sets #3356

def: higher inductive k-finite sets

def: higher inductive k-finite sets #3356