Theorem DivisorOn.restrict_eqOn

Modification history