Theorem IsLocalization.Away.mapₐ_apply

Modification history