Theorem MonoidWithZeroHomClass.ext_rat

Modification history