Theorem IsLocalization.scaleRoots_commonDenom_mem_lifts

Modification history