Theorem DivisorOn.restrict_apply

Modification history