Theorem Module.End.isIntegral

Modification history