Theorem DenseRange.induction_on₃

Modification history