Theorem Algebra.isPushout_of_isLocalization

Modification history