Last modified on 21 June 2013, at 00:48

inductive definition