Theorem Dfinsupp.induction₂

Modification history