Theorem Cardinal.inductionOn₂

Modification history