OAI/Analysis/FreeWords/UltraQuotientRange.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.KKUltraTrace.starHom_controlled_lift line 95
2. theorem OAI.KKUltraTrace.starHom_image_closed line 101
3. theorem OAI.KKUltraTrace.ultra_gns_image_closed line 138