Theorem DivisorOn.max_apply

Modification history