MaRDI theorem profile (Q6534201): Difference between revisions

From MaRDI portal
Created a new Item: MaRDI theorem profile
 
 
(One intermediate revision by the same user not shown)
Property / subclass of
 
Property / subclass of: MaRDI profile type / rank
 
Normal rank
Property / instance of
 
Property / instance of: MaRDI-specific concept / rank
 
Normal rank

Latest revision as of 20:15, 5 December 2024

No description defined
Language Label Description Also known as
English
MaRDI theorem profile
No description defined

    Statements