Theorem IsLocalRing.map_mkQ_eq

Modification history