Formalization of Condensed Mathematics

less than 1 minute read

Dept. of Mathematical Sciences, University of Copenhagen, 2023