OAI/Computability/WeisfeilerLeman/Main.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.WLTime.ram_integer_lower line 8
2. theorem OAI.WLTime.ram_real_lower line 47
3. theorem OAI.WLTime.unconditional_time_lower_bound line 64

   Distinct definitions of this name: ComparatorChallenges/WeisfeilerLeman.lean:267 (same statement text; different proof or body). Qualify references as OAI.WLTime.unconditional_time_lower_bound@path.