Theorem IsLocalization.Away.finitePresentation

Modification history