Journal: Formalized Mathematics

Volume 19, Issue 4

223 -- 225Artur Kornilowicz. Cayley's Theorem
227 -- 232Peter Jaeger. Borel-Cantelli Lemma
233 -- 239Keiko Narita, Artur Kornilowicz, Yasunari Shidama. More on the Continuity of Real Functions
241 -- 250Grzegorz Bancerek. Representation Theorem for Stacks