Yes, these are references to the Mizar Mathematical Library, as published
in the Journal of Formalized Mathematics.
On Sat, Mar 30, 2024 at 4:58 PM Glauco wrote:
> Using Gemini and some luck, could it be Journal Of Formalized Mathematics
> ?
>
> --
> You received this message because you are
Using Gemini and some luck, could it be Journal Of Formalized Mathematics ?
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to metamath+unsubscr...@googlegroups.com.
Does anybody know what the abbreviation "JFM" means? It appears several
times in set.mm, for example:
$( The Cartesian product of two elements of a transitive Tarski class is an
element of the class. JFM CLASSES2 th. 67 (partly). (Contributed by
FL,
15-Apr-2011.) (Proof shortened
