lazi.1.0
Lazi.1.0 désigne la mathématique définie en lazi.0.1 "lazi_1_0" (voir "Vue générale de la définition de lazi" ou les sources). lazi_1_0 est le type des déductions lazi.1.0.
Lazi.1.0 désigne la mathématique définie en lazi.0.1 "lazi_1_0" (voir "Vue générale de la définition de lazi" ou les sources). lazi_1_0 est le type des déductions lazi.1.0.