and Andrzej Trybulec. Hahn-Banach theorem (1993)

by Bogdan Nowak
Venue:Formalized Mathematics