Tietze Extension Theorem (0)

by A Korniłowicz, G Bancerek, A Naumowicz
Venue:Formalized Mathematics