Theorem MonoidWithZeroHomClass.ext_rat_on_pnat

Modification history