Theorem IsLocalRing.subsingleton_tensorProduct

Modification history