Template:Banach's fixed-point theorem/Metadata