Akshobhya K M
Results
1
comments of
Akshobhya K M
I found this work around definition `LeftInverseNonZero : (zero e : A) → Op₁ A → Op₂ A → Set _` `LeftInverseNonZero zero e _⁻¹ _·_ = ∀₁ λ x...