GitHub repository: Blackfeather007/Filtered_Ring
Primary language: Lean
Created: 2024-10-04T03:52:46Z
Description: Repository for formalization of filtered ring