Theorem MonoidWithZeroHomClass.ext_rat'

Modification history