Theorem ContractingWith.efixedPoint_is_fixed_pt'

Modification history