MercurialBlack, 4 months ago Ohhh induction is a Theorem Schema ok ok
Ohhh induction is a Theorem Schema ok ok