Theorem IsLocalization.Away.quotient_of_isIdempotentElem

Modification history