1 Ü

Steps of summarizing for inductive category formation

Discussion