Totally ramified subfields of p-algebras over discrete valued fields with imperfect residue | Synapse