Theorem DivisorOn.min_def

Modification history