[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] typo in measure4

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] typo in measure4
From: Jesse Alama <jesse.alama@gmail.com>
Date: Fri, 12 Aug 2011 22:26:23 +0200

The title of MEASURE4 should say "Caratheodory", not "Caratheodor":

:: Properties of Caratheodor's Measure
--
Jesse Alama
http://centria.di.fct.unl.pt/~alama/

Prev by Date: [mizar] Re: properties
Next by Date: Re: [mizar] Re: resolution
Index(es):
- Chronological
- Thread