MercurialBlack, 4 months ago Ohhh induction is a Theorem Schema ok ok
Ohhh induction is a Theorem Schema ok ok
Ukko, 4 months ago @MercurialBlack a meta-theorem
@MercurialBlack a meta-theorem
MercurialBlack, 4 months ago @Ukko yeah
@Ukko yeah
Add comment